Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Gerhard Gentzen 11 found (63 total)

alternate case: gerhard Gentzen

Theodor Bilharz (510 words) [view diff] exact match in snippet view article find links to article

Griffor and Craig Smorynski (trans.): Logic's Lost Genius: The Life of Gerhard Gentzen (History of Mathematics, vol. 33). American Mathematical Society 2007
Ladislav Rieger (294 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, 33, AMS Bookstore, p. 264, ISBN 978-0-8218-3550-0
Valery Glivenko (306 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 (312 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. 33. Providence/RI: American Mathematical Society
Werner Weber (mathematician) (1,297 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.CS1 maint: ref=harv
National Socialist German Lecturers League (864 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
Harald Bohr (984 words) [view diff] exact match in snippet view article find links to article
Study. Menzler-Trott, Eckart (2008). Logic's Lost Genius: The Life of Gerhard Gentzen. AMS. p. 115. ISBN 0-8218-3550-5. Akademisk Boldklub. "AB's historie"
Löwenheim–Skolem theorem (2,663 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,217 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,070 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,357 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