ExLibris header image
SFX Logo
Title: Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH
Source:

Archiv für mathematische Logik und Grundlagenforschung [0003-9268] Stegmüller, Wolfgang yr:1965


Collapse list of basic services Basic
Holding information
Holdings in library search engine ALBERT GO
Document delivery
Request document via Library/Bibliothek GO

Expand list of advanced services Advanced