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."

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).

Order-nr.: 40410