Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)

by A . G . Dragalin (Author), E.Mendelson (Author)

• New

  Paperback
  1988

  $153.79

  In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. This book intends to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic.