
Ancient Rome
Matthew Dillon, Lynda Garland
₹6,279

Introduction to Proof Theory
Amer Mathematical Society · 1988
Free delivery. Nothing extra to pay at checkout.
Mathematical Intuitionism: Introduction to Proof Theory by A. G. Dragalin is a 228-page book published by Amer Mathematical Society in 1988. The book is part of the Translations of mathematical monographs series.
Its main subjects are Intuitionistic mathematics, Proof theory and Symbolic and mathematical Logic.