Show
6 citations
related to Gentzen, Gerhard
Show
6 citations
related to Gentzen, Gerhard as a subject or category
Birth and Death Dates 1900-1945
Book
Jan von Plato
(2017)
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics.
(/isis/citation/CBB610005573/)
Article
Franks, Curtis
(2010)
Cut as Consequence.
History and Philosophy of Logic
(pp. 349-379).
(/isis/citation/CBB001210978/)
Chapter
von Plato, Jan
(2009)
Proof Theory of Classical and Intuitionistic Logic.
In: The Development of Modern Logic
(p. 499).
(/isis/citation/CBB001210351/)
Chapter
Sundholm, Göran
(2009)
A Century of Judgment and Inference, 1837--1936: Some Strands in the Development of Logic.
In: The Development of Modern Logic
(p. 263).
(/isis/citation/CBB001210348/)
Book
Menzler-Trott, Eckart
(2007)
Logic's Lost Genius: The Life of Gerhard Gentzen.
(/isis/citation/CBB000953225/)
Book
Menzler-Trott, Eckart
(2001)
Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland.
(/isis/citation/CBB000501772/)
Be the first to comment!