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

New to the Open Library? — Learn how it works
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) by Grigori Mints

Read

Buy

Amazon $95.00 (used)
Better World Books $109.20 (used)

Lists

You could add A Short Introduction to Intuitionistic Logic (University Series in Mathematics) (University Series in Mathematics) to a list if you log in.
Drat! There's no description for this book yet. Can you help?
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