TU Darmstadt / ULB / TUbiblio

Commodious Axiomatization of Quantifiers in Multiple-Valued Logic

Hähnle, Reiner (1998)
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.
In: Studia Logica, 61 (1)
doi: 10.1023/A:1005086415447
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 1998
Autor(en): Hähnle, Reiner
Art des Eintrags: Bibliographie
Titel: Commodious Axiomatization of Quantifiers in Multiple-Valued Logic
Sprache: Deutsch
Publikationsjahr: 1998
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Studia Logica
Jahrgang/Volume einer Zeitschrift: 61
(Heft-)Nummer: 1
DOI: 10.1023/A:1005086415447
URL / URN: https://doi.org/10.1023/A:1005086415447
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Software Engineering
20 Fachbereich Informatik
Hinterlegungsdatum: 27 Apr 2018 10:51
Letzte Änderung: 27 Apr 2018 10:51
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen