Startseite UB

Die Vollständigkeit des Operatorensystems {¬,^,v, } für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik

Kutschera, Franz (1968) Die Vollständigkeit des Operatorensystems {¬,^,v, } für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik. Archiv für mathematische Logik und Grundlagenforschung, pp. 3-16.

[img]
Preview
PDF
Download (3MB)

Export bibliographical data



Item Type:Article
Date:1968
Institutions:Philosophy, Art, and Society > Institut für Philosophie
Subjects:100 Philosophy & psychology > 100 Philosophy
Status:Published
Refereed:Unknown
Created at the University of Regensburg:Unknown
Owner: Universitätsbibliothek Regensburg
Deposited On:12 Feb 2010 07:00
Last Modified:13 Mar 2014 12:59
Item ID:12590
Owner Only: item control page

Downloads

Downloads per month over past year

  1. University

University Library

Publication Server

Contact person
Gernot Deinzer

Telefon 0941 943-2759
Contact