von Plato, Jan.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Structural proof theory
by:
Negri, Sara.; Ranta, Aarne.; von Plato, Jan.
(Language materials, printed)
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
by:
SpringerLink (Online service); von Plato, Jan.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]