Gödel's excursions into intuitionistic logic

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-124

Holding:

PAKN, GK Georg Kreisel

Context:

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

Date of creation:

1987

Abstract:

Enthält: einen Sonderdruck des Artikels "Gödel's excursions into intuitionistic logic" aus: Gödel Remembered, hg. v. P. Weigartner u. L. Schmetterer, Neapel 1987. Dem Sonderdruck ist eine maschinenschriftliche Liste mit Addenda und Corrigenda beigegeben.

Extent:

1 Sonderdruck und 1 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 excursions into intuitionistic logic

Hierarchy

Hierarchy detail view