‎"HEYTING, (AREND).‎
‎Mathematische Grundlagenforschung Intuitionismus. Beweistheorie.‎

‎Berlin, Julius Springer, 1934. Bound with orig. wrappers in contemp. full cloth. Gilt lettering to spine. IV,73,(1) pp. A mint copy. (Issued in the series ""Ergebnisse der Mathematik und ihrer Grenzgebiete...Dritter Band.""‎

Reference : 40410

‎First edition. Heyting studied under Brouwer and became the leading figure of the 'Intutionistic School' in Logic and Mathematics. His work on Intuitionism and Proof Theory - the item offered - is a concise and well written survey in which the viewpoints of intuitionism and formalism are clearly described and contrasted. (A.S. Troelstra).‎