10% OFF

A Short Introduction To Intuitionistic Logic

by Grigori Mints
language: english
Publisher: Springer Science+Business Media, October of 2000 ‧
166,28€
10% OFF CARD
free shipping
Sell ​​your book
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

A Short Introduction To Intuitionistic Logic

by Grigori Mints

Property Description
ISBN: 9780306463945
Publisher: Springer Science+Business Media
Release Date: October of 2000
Language: English
Cover: Hardcover
Pages: 131
Format: Book
Collection: University Series In Mathematics
Categories: Books in English > Science > Mathematics
EAN: 9780306463945