Observations on a recent generalization of completeness theorems due to Schütte

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

Holding:

PAKN, GK Georg Kreisel

Context:

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

Date of creation:

1974

Abstract:

Enthält: Kopie des Artikels "Observations on a recent generalization of completeness theorems due to Schütte" aus: I.S.I.L.C. Proof Theory Symposium University of Kiel 1974, Proceedings, hg. v. J. Diller u. G. Müller, New York 1974 ( Lecture Notes in Mathematics 500)

Extent:

9 Bl.

Document type:

Sachakte

Other object pages:

Object in the 'Deutsche Digitale Bibliothek'

Last update:

10.06.2025, 11:28 AM CEST

Observations on a recent generalization of completeness theorems due to Schütte

Hierarchy

Hierarchy detail view