Celebratio Mathematica

Saunders Mac Lane

Saunders Mac Lane (1909–2005): His mathematical life and philosophical works

Works connected to Hermann Weyl

Filter the Bibliography List

clear

S. MacLane: Abgekürzte Be­weise im Lo­gikkalkül [Ab­bre­vi­ated proofs in the lo­gic­al cal­cu­lus]. Ph.D. thesis, Georg-Au­gust-Uni­versität Göt­tin­gen (Göt­tin­gen), 1934. Ad­vised by P. Bernays and H. Weyl. An ab­stract was pub­lished (in Eng­lish) in Bull. Am. Math. Soc. 40:1 (1934). phdthesis