Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (17 chapters)
-
Intuitionistic Predicate Logic
Keywords
About this book
Reviews
Overall, the book is an excellent addition to the literature.'
Mathematical Reviews, 2002b
Authors and Affiliations
Bibliographic Information
Book Title: A Short Introduction to Intuitionistic Logic
Authors: Grigori Mints
Series Title: University Series in Mathematics
DOI: https://doi.org/10.1007/b115304
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2000
Hardcover ISBN: 978-0-306-46394-5Published: 31 October 2000
Softcover ISBN: 978-1-4757-7319-4Published: 26 April 2013
eBook ISBN: 978-0-306-46975-6Published: 20 December 2005
Edition Number: 1
Number of Pages: IX, 131
Topics: Mathematical Logic and Foundations, Logic, Mathematics of Computing