Startseite UR

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, S. 3-16.

[img]
Vorschau
PDF
Download (3MB)

Bibliographische Daten exportieren



Dokumentenart:Artikel
Datum:1968
Institutionen:Philosophie, Kunst-, Geschichts- und Gesellschaftswissenschaften > Institut für Philosophie
Dewey-Dezimal-Klassifikation:100 Philosophie und Psychologie > 100 Philosophie
Status:Veröffentlicht
Begutachtet:Unbekannt / Keine Angabe
An der Universität Regensburg entstanden:Unbekannt / Keine Angabe
Eingebracht am:12 Feb 2010 07:00
Zuletzt geändert:13 Mrz 2014 12:59
Dokumenten-ID:12590
Nur für Besitzer und Autoren: Kontrollseite des Eintrags

Downloads

Downloads im Monat während des letzten Jahres

  1. Universität

Universitätsbibliothek

Publikationsserver

Kontakt:

Publizieren: oa@ur.de

Dissertationen: dissertationen@ur.de

Forschungsdaten: daten@ur.de

Ansprechpartner