Constructive logic and logic versus algebraization I

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

Holding:

PAKN, GK Georg Kreisel

Context:

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

Date of creation:

1982

Abstract:

Enthält: zwei Sonderdrucke des zusammen mit Angus J. Macintyre publizierten Artikels "Constructive logic and logic versus algebraization I" aus: The L.E.J. Brouwer Centenary Symposium, hg. v. D. van Dalen u. A. Troelstra, Amsterdam 1982

Extent:

2 Sonderdrucke

Document type:

Sachakte

Indexentry person:

Macintyre, Angus J.

Other object pages:

Object in the 'Deutsche Digitale Bibliothek'

Last update:

10.06.2025, 11:28 AM CEST

Constructive logic and logic versus algebraization I

Hierarchy

Hierarchy detail view