INVENTORY #149508
Mathematical Intuitionism: Introduction to Proof Theory
DRAGALIN, A. G.; MENDELSON, E. (trans.); SILVER, Ben (ed.)
Regular price
$125.00
Sale
CANADA POST STRIKE NOTICE:
Orders received after Nov 14th will ship via an alternative carrier.CANADIAN PO BOX ADDRESSES:
Unfortunately, we will not be able to ship to PO BOX addresses within Canada during the strike as only Canada Post has access to deliver to those. Please provide an alternate address or we can hold them for you until the strike is over but please note that even then shipping may be delayed as they work to resume normal operations.
Presents the most important methods of proof theory in intuitionistic logic. Appendices, bibliography and indices.
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.