Mathematical Intuitionism: Introduction to Proof Theory
Download or Read eBook Mathematical Intuitionism: Introduction to Proof Theory PDF written by Al'bert Grigor'evi_ Dragalin and published by American Mathematical Soc.. This book was released on 1988-12-31 with total page 242 pages. Available in PDF, EPUB and Kindle.
| Author | : Al'bert Grigor'evi_ Dragalin |
| Publisher | : American Mathematical Soc. |
| Total Pages | : 242 |
| Release | : 1988-12-31 |
| ISBN-10 | : 9780821845202 |
| ISBN-13 | : 0821845209 |
| Rating | : 4/5 (02 Downloads) |
Book Synopsis Mathematical Intuitionism: Introduction to Proof Theory by : Al'bert Grigor'evi_ Dragalin
Book excerpt: In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. This book intends to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic.
