Saunders Mac Lane (1909–2005): His mathematical life and philosophical works
Works connected to Hermann Weyl
Filter the Bibliography List
Abgekürzte Beweise im Logikkalkül [Abbreviated proofs in the logical calculus]. Ph.D. thesis, Georg-August-Universität Göttingen (Göttingen), 1934. Advised by P. Bernays and H. Weyl. An abstract was published (in English) in Bull. Am. Math. Soc. 40:1 (1934). phdthesis
: