Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
July 28, 2014 | History

A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics) 1 edition

Cover of: A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics) | Grigori Mints

No ebook available.


Prefer the physical book? Check nearby libraries with:


Buy this book


There's no description for this book yet. Can you add one?
There is only 1 edition record, so we'll show it here...  •  Add edition?

A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics)
1 edition

Published October 27, 2000 by Springer .
Written in English.

First Sentence

Intuitionistic logic is studied here as part of familiar classical logic which allows an effective interpretation and mechanical extraction of programs from proofs.

The Physical Object

Format
Hardcover
Number of pages
138
Dimensions
9 x 6 x 0.6 inches
Weight
9.6 ounces

ID Numbers

Open Library
OL9517731M
Internet Archive
shortintroductio00mint
ISBN 10
0306463946
ISBN 13
9780306463945
Library Thing
1667440
Goodreads
5641003

History Created December 11, 2009 · 3 revisions Download catalog record: RDF / JSON

July 28, 2014 Edited by ImportBot import new book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 11, 2009 Created by WorkBot add works page