von Plato, Jan.

概要

作品:	2 作品在 1 項出版品 1 種語言

書目資訊

Structural proof theory by: Negri, Sara.; Ranta, Aarne.; von Plato, Jan. (書目-語言資料,印刷品)

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics by: SpringerLink (Online service); von Plato, Jan. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Can Mathematics Be Proved Consistent? = Gödel's Shorthand Notes & Lectures on Incompleteness / by: von Plato, Jan.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Kurt Gödel = The Princeton Lectures on Intuitionism / by: von Plato, Jan.; SpringerLink (Online service); Hämeen-Anttila, Maria. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

主題

Mathematical logic. Philosophy—History. Logic. Mathematical Logic and Foundations. History of Mathematical Sciences. History. Intellectual History. Mathematics. Intellectual life—History. Proof theory. History of Philosophy. Mathematics—Philosophy. Philosophy of Mathematics. Philosophy.