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.

Veröffentlichungsdatum dieses Volltextes: 12 Feb 2010 07:00
Artikel
DOI zum Zitieren dieses Dokuments: 10.5283/epub.12590

• Alternative Links zum Volltext
• Beteiligte Einrichtungen
• Details
• Bibliographische Daten exportieren

---

---

Beteiligte Einrichtungen

• Philosophie, Kunst-, Geschichts- und Gesellschaftswissenschaften > Institut für Philosophie

  Browse Publikationen

---

Details

Dokumentenart	Artikel
Titel eines Journals oder einer Zeitschrift	Archiv für mathematische Logik und Grundlagenforschung
Verlag:	Kohlhammer
Seitenbereich:	S. 3-16
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
URN der UB Regensburg	urn:nbn:de:bvb:355-epub-125903
Dokumenten-ID	12590

Bibliographische Daten exportieren

ASCII CitationAtomBibTeXData Cite XMLDataCite XML OAIDublin CoreDublin Core (LZV)EndNoteHTML CitationJSONJSON LDMETSMODSOPENAIREOpenAPCRDF+N-TriplesRDF+N3RDF+XMLReferReference ManagerSimple MetadataXMLopenCostxMetaDissPlus

---