Un'estensione del teorema di Löb
Rendiconti del Seminario Matematico della Università di Padova, Tome 52 (1974), pp. 193-199

Voir la notice de l'article provenant de la source Numdam

MR Zbl
Sambin, Giovanni. Un'estensione del teorema di Löb. Rendiconti del Seminario Matematico della Università di Padova, Tome 52 (1974), pp. 193-199. http://geodesic.mathdoc.fr/item/RSMUP_1974__52__193_0/
@article{RSMUP_1974__52__193_0,
     author = {Sambin, Giovanni},
     title = {Un'estensione del teorema di {L\"ob}},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {193--199},
     year = {1974},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {52},
     mrnumber = {384501},
     zbl = {0324.02019},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RSMUP_1974__52__193_0/}
}
TY  - JOUR
AU  - Sambin, Giovanni
TI  - Un'estensione del teorema di Löb
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1974
SP  - 193
EP  - 199
VL  - 52
PB  - Seminario Matematico of the University of Padua
UR  - http://geodesic.mathdoc.fr/item/RSMUP_1974__52__193_0/
LA  - it
ID  - RSMUP_1974__52__193_0
ER  - 
%0 Journal Article
%A Sambin, Giovanni
%T Un'estensione del teorema di Löb
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1974
%P 193-199
%V 52
%I Seminario Matematico of the University of Padua
%U http://geodesic.mathdoc.fr/item/RSMUP_1974__52__193_0/
%G it
%F RSMUP_1974__52__193_0