Browse:

The university is member of the Confederation of Open Access Repositories (COAR)

More information about Open Acces at open-acces.net

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.

Preview

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
3723Kb

Item Type:	Article
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 08:00
Last Modified:	21 Jul 2011 00:18
Item ID:	12590