Mathematical Intuitionism: Introduction to Proof Theory
DRAGALIN, A. G.; MENDELSON, E. (trans.); SILVER, Ben (ed.)
Regular price
$125.00
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.