Geodesic
Zum Entscheidungsproblem der mathematischen Logik
Mathematische Annalen, Tome 99 (1928), pp. 342-372

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

@article{MAN_1928__99_159260,
     author = {P. Bernays and M. Sch\"onfinkel},
     title = {Zum {Entscheidungsproblem} der mathematischen {Logik}},
     journal = {Mathematische Annalen},
     pages = {342--372},
     publisher = {mathdoc},
     volume = {99},
     year = {1928},
     zbl = {54.0056.05},
     url = {http://geodesic.mathdoc.fr/item/MAN_1928__99_159260/}
}
TY  - JOUR
AU  - P. Bernays
AU  - M. Schönfinkel
TI  - Zum Entscheidungsproblem der mathematischen Logik
JO  - Mathematische Annalen
PY  - 1928
SP  - 342
EP  - 372
VL  - 99
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1928__99_159260/
ID  - MAN_1928__99_159260
ER  - 
%0 Journal Article
%A P. Bernays
%A M. Schönfinkel
%T Zum Entscheidungsproblem der mathematischen Logik
%J Mathematische Annalen
%D 1928
%P 342-372
%V 99
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1928__99_159260/
%F MAN_1928__99_159260
P. Bernays; M. Schönfinkel. Zum Entscheidungsproblem der mathematischen Logik. Mathematische Annalen, Tome 99 (1928), pp. 342-372. http://geodesic.mathdoc.fr/item/MAN_1928__99_159260/