Mathematical Intuitionism: Introduction to Proof Theory

INVENTORY #149508

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.

Share the book love

Have a Question about this item?