A survey of proof therory II

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

Holding:

PAKN, GK Georg Kreisel

Context:

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

Date of creation:

1971

Abstract:

Enthält: zwei Sonderdrucke des Artikels "A survey of proof therory II" aus Proceedings of the Second Scandinavian Logic Symposium, hg. v. J.E. Fenstad, Amsterdam 1971 , und ein Typoskript mit gleichem Titel, das aber starke Abweichungen vom Drucktext zeigt.

Extent:

2 Sonderdrucke und 33 Bl.

Document type:

Sachakte

Other object pages:

Object in the 'Deutsche Digitale Bibliothek'

Last update:

10.06.2025, 11:28 AM CEST

A survey of proof therory II

Hierarchy

Hierarchy detail view