Gödel's interpretation of Heyting's arithmetic

Show full title

Archive der Universität Konstanz

Data provider's object view

Level of description:

Record

Reference number:

PAKN, GK Georg Kreisel, GK 8-1-25

Holding:

PAKN, GK Georg Kreisel

Context:

Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften

Date of creation:

1957

Abstract:

Enthält: zwei Kopien vom Reprint (1960) des Artikels "Gödel's interpretation of Heyting's arithmetic" aus Summaries of Talks Presented at the Summer Insitute for Symbolic Logic Cornell University 1957, hg. v. J. Rosser, Ithaca N.Y.

Extent:

22 Bl.

Document type:

Sachakte

Other object pages:

Object in the 'Deutsche Digitale Bibliothek'

Last update:

10.06.2025, 11:28 AM CEST

Gödel's interpretation of Heyting's arithmetic

Hierarchy

Hierarchy detail view