Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
Archiv für mathematische Logik und Grundlagenforschung (1978)
- Volume: 19, page 97-110
- ISSN: 0003-9268
Access Full Article
top
How to cite
topWirsing, Martin. "Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.." Archiv für mathematische Logik und Grundlagenforschung 19 (1978): 97-110. <http://eudml.org/doc/137948>.
@article{Wirsing1978,
author = {Wirsing, Martin},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {Predicate Logic; Undecidable Class},
pages = {97-110},
title = {Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.},
url = {http://eudml.org/doc/137948},
volume = {19},
year = {1978},
}
TY - JOUR
AU - Wirsing, Martin
TI - Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1978
VL - 19
SP - 97
EP - 110
KW - Predicate Logic; Undecidable Class
UR - http://eudml.org/doc/137948
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.