INVENTORY #149508
Mathematical Intuitionism: Introduction to Proof Theory
DRAGALIN, A. G.; MENDELSON, E. (trans.); SILVER, Ben (ed.)
Regular price
$125.00 CAD
Sale
Presents the most important methods of proof theory in intuitionistic logic. Appendices, bibliography and indices.
Attention U.S. Bibliophiles
We are suspending shipping to the States until further notice. Due to the elimination of de minimis, tariffs and the confusion around what exactly is needed to get your packages across the border and without surprise charges for you, we made the decision to stop all shipments until we are able to send your purchases smoothly and safely. That being said, we are happy to hold items for you until we are able to ship to the States again, so if you are interested in a book (or item), please contact via the “Send Us an Email” button on each product page or directly to orders@atticbooks.ca with what books you are interested in.
Publication Info
- Publisher: American Mathematical Society
- Edition: n/a
- Date Published: 1979
- Place Published: n/a
- ISBN: 0821845209
Details
- Condition: ex library-very good
- Signed: No
- Dust Jacket: No
- Jacket Condition: n/a
- Details:
Translations of Mathematical Monographs Vol. 67. ix, 227 p. 24 cm. Ex library with labels on spine and rear pastedown, ink stamps on top edge and title.