Geodesic
Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.
Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 39-53.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : general logic 
@article{AMLG_1969__12_137815,
     author = {Heinz-Dieter Ebbinghaus},
     title = {\"Uber eine {Pr\"adikatenlogik} mit partiell definierten {Pr\"adikaten} und {Funktionen.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {39--53},
     publisher = {mathdoc},
     volume = {12},
     year = {1969},
     zbl = {0182.31502},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1969__12_137815/}
}
TY  - JOUR
AU  - Heinz-Dieter Ebbinghaus
TI  - Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1969
SP  - 39
EP  - 53
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1969__12_137815/
ID  - AMLG_1969__12_137815
ER  - 
%0 Journal Article
%A Heinz-Dieter Ebbinghaus
%T Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1969
%P 39-53
%V 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1969__12_137815/
%F AMLG_1969__12_137815
Heinz-Dieter Ebbinghaus. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.. Archiv für mathematische Logik und Grundlagenforschung, Tome 12 (1969), pp. 39-53. http://geodesic.mathdoc.fr/item/AMLG_1969__12_137815/