Jump to main content

yr 〜
yr

Search results 5

Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smoryński and Edward Griffor. (History of mathematics ; v. 33)

Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smoryński and Edward Griffor. (History of mathematics ; v. 33)
Paper図書
American Mathematical Societyc2007.<GK438-B6>
National Diet Library
  • Subject HeadingGentzen, Gerhard. Mathematicians -- Germany --...

Gentzen's centenary : the quest for consistency : pbk.

Gentzen's centenary : the quest for consistency : pbk.
Paper図書
Reinhard Kahle, Michael Rathjen editorsSpringerc2015
Other Libraries in Japan
  • Subject HeadingGentzen, Gerhard Proof theory
  • Subject Heading (ID)Gentzen, Gerhard Proof theory

Natural deduction : a proof-theoretical study : pbk

Natural deduction : a proof-theoretical study : pbk
Paper図書
Dag PrawitzDover Publications2006
Other Libraries in Japan
  • Subject HeadingLogic Logic, Symbolic and mathematical Modality (Logic) Gentzen, Gerhard
  • Subject Heading (ID)Logic Logic, Symbolic and mathematical Modality (Logic) Gentzen, Gerhard

Logic's lost genius : the life of Gerhard Gentzen

Logic's lost genius : the life of Gerhard Gentzen
Paper図書
Eckart Menzler-Trott ; translated by Craig Smoryński and Edward GrifforAmerican Mathematical Society2007
Other Libraries in Japan
  • Subject HeadingGentzen, Gerhard Mathematicians -- Germany -- ...
  • Subject Heading (ID)Gentzen, Gerhard Mathematicians -- Germany -- ...

Gentzens Problem : Mathematische Logik im nationalsozialistischen Deutschland

Gentzens Problem : Mathematische Logik im nationalsozialistischen Deutschland
Paper図書
Eckart Menzler-Trott ; mit einem Essay von Jan von PlatoBirkhäuser Verlagc2001
Other Libraries in Japan
  • Subject HeadingGentzen, Gerhard
  • Subject Heading (ID)Gentzen, Gerhard

Reached to the end of result.

RSS