On weak completeness of intuitionistic predicative logic

Archive der Universität Konstanz

Data provider's object view

Level of description:

Record

Reference number:

PAKN, GK Georg Kreisel, GK 8-1-53

Holding:

PAKN, GK Georg Kreisel

Context:

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

Date of creation:

1962

Abstract:

Enthält: 2 Sonderdrucke des Artikels "On weak completeness of intuitionistic predicative logic" aus The Journal of Sxmbolic Logic 27 (1962)

Extent:

2 Sonderdrucke

Document type:

Sachakte

Other object pages:

Last update:

10.06.2025, 11:28 AM CEST

Hierarchy