Find link

language:

Find link is a tool written by Edward Betts.

searching for Gerhard Gentzen 11 found (62 total)

Structural rule (583 words) [view diff] exact match in snippet view article find links to article

1007/BF01201353. ISSN 0025-5874. Szabo, M. E. (1969). Collected papers of Gerhard Gentzen. Place of publication not identified: Elsevier. ISBN 978-0-444-53419-4

Ladislav Rieger (307 words) [view diff] exact match in snippet view article find links to article

238–250 Menzler-Trott, Eckart (2007), Logic's lost genius: the life of Gerhard Gentzen, History of Mathematics, vol. 33, AMS Bookstore, p. 264, ISBN 978-0-8218-3550-0

National Socialist German Lecturers League (868 words) [view diff] exact match in snippet view article find links to article

ISBN 9780271026954. Trott, Eckart (2007). Logic's lost genius : the life of Gerhard Gentzen. Providence, RI London: American Mathematical Society London Mathematical

Valery Glivenko (315 words) [view diff] exact match in snippet view article find links to article

University Eckart Menzler-Trott, Logic's lost genius: the life of Gerhard Gentzen, tr. Craig A. Smoryński and Edward R Griffor, p. 95. Kolmogoroff, A

Karl-Heinz Boseck (329 words) [view diff] exact match in snippet view article find links to article

Verlag. Eckart Menzler-Trott (2007). Logic's Lost Genius: The Life of Gerhard Gentzen. History of Mathematics. Vol. 33. Providence/RI: American Mathematical

Werner Weber (mathematician) (1,421 words) [view diff] exact match in snippet view article

Menzler-Trott, Eckart (1 January 2007). Logic's Lost Genius: The Life of Gerhard Gentzen. American Mathematical Soc. ISBN 978-0-8218-9129-2. Segal, Sanford

Harald Bohr (1,028 words) [view diff] exact match in snippet view article find links to article

2023. Menzler-Trott, Eckart (2008). Logic's Lost Genius: The Life of Gerhard Gentzen. AMS. p. 115. ISBN 978-0-8218-3550-0. Akademisk Boldklub. "AB's historie"

Löwenheim–Skolem theorem (2,767 words) [view diff] exact match in snippet view article find links to article

Contributions of the Logicians, Part II, From Richard Dedekind to Gerhard Gentzen Burris, Stanley N., Downward Löwenheim–Skolem theorem Simpson, Stephen

Kurt Blome (2,356 words) [view diff] exact match in snippet view article find links to article

2009, p. 128. Eckart Menzler-Trott, Logic's Lost Genius: The Life of Gerhard Gentzen. American Mathematical Society, 2007, p. 200. Deichmann, p. 281. Erhard

Heinrich Scholz (3,069 words) [view diff] exact match in snippet view article find links to article

Eckart Menzler-Trott (1 January 2007). Logic's Lost Genius: The Life of Gerhard Gentzen. American Mathematical Soc. pp. 183–. ISBN 978-0-8218-9129-2. "History

History of mathematical notation (16,402 words) [view diff] exact match in snippet view article find links to article

created the double-struck capital Q for rational number sets. In 1935, Gerhard Gentzen made universal quantifiers. In 1936, Tarski's undefinability theorem