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.
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.