Some application of formalized consistency proofs

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

Holding:

PAKN, GK Georg Kreisel

Context:

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

Date of creation:

1955

Abstract:

Enthält: einen Sonderdruck des zusammen mit Hao Wang veröffentlichten Artikels "Some application of formalized consistency proofs" aus Fundamenta Mathematicae 42 (1955)

Wang, Hao; Logiker, Philosoph, Mathematiker, 1921 - 1995

Extent:

1 Sonderdruck

Document type:

Sachakte

Indexentry person:

Wang, Hao

Other object pages:

Object in the 'Deutsche Digitale Bibliothek'

Last update:

10.06.2025, 11:28 AM CEST

Some application of formalized consistency proofs

Hierarchy

Hierarchy detail view