Home Advanced Search

Advanced Search - Page 1

Proof Analysis: A Contribution to Hilbert’s Last Problem
Proof Analysis: A Contribution to Hilbert’s Last Problem
  • PDF
  • English
  • Year: 2011
  • Author: Sara Negri, Jan von Plato
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
  • PDF
  • English
  • Year: 2017
  • Author: Jan von Plato
Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness
Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness
  • PDF
  • English
  • Year: 2020
  • Author: Jan von Plato
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
  • PDF
  • English
  • Year: 2017
  • Author: Jan von Plato
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
  • PDF
  • English
  • Year: 2017
  • Author: Jan von Plato
Plato's democratic entanglements: Athenian politics and the practice of philosophy
Plato's democratic entanglements: Athenian politics and the practice of philosophy
  • EPUB
  • English
  • Year: 2000;2013
  • Author: Monoson, Susan Sara;Plato
Laws
  • EPUB
  • English
  • Year: 2016
  • Author: Plato Plato
Zeusi nimel: kreeklased - mõistatused - argonaudid
  • PDF
  • Estonian
  • Year: 2005
  • Author: Plato.;Däniken, Erich von
Kurt Gödel: The Princeton Lectures on Intuitionism
  • PDF
  • English
  • Year: 2021
  • Author: Maria Hämeen-Anttila (editor), Jan von Plato (editor)
search