Foundations of 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-55

Holding:

PAKN, GK Georg Kreisel

Context:

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

Date of creation:

1962

Abstract:

Enthält: 2 Sonderdrucke des Artikels "Foundations of intuitionistic logic" aus Logic, Methodology and Philosophy of Science. Proceedings of the 1960 International Congress, hg. v. E. Nagel, P. Suppes und A. Tarski, Standford, Calf. 1962

Extent:

2 Sonderdrucke

Document type:

Sachakte

Other object pages:

Object in the 'Deutsche Digitale Bibliothek'

Last update:

10.06.2025, 11:28 AM CEST

Foundations of intuitionistic logic

Hierarchy

Hierarchy detail view