Geodesic
Some Applications of Gentzens Second Consistency Proof.
Mathematische Annalen, Tome 181 (1969), pp. 325-344.

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

Mots-clés : algebraic logic, model theory 
@article{MAN_1969__181_161842,
     author = {B. SCARPELLINI},
     title = {Some {Applications} of {Gentzens} {Second} {Consistency} {Proof.}},
     journal = {Mathematische Annalen},
     pages = {325--344},
     publisher = {mathdoc},
     volume = {181},
     year = {1969},
     zbl = {0184.01202},
     url = {http://geodesic.mathdoc.fr/item/MAN_1969__181_161842/}
}
TY  - JOUR
AU  - B. SCARPELLINI
TI  - Some Applications of Gentzens Second Consistency Proof.
JO  - Mathematische Annalen
PY  - 1969
SP  - 325
EP  - 344
VL  - 181
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1969__181_161842/
ID  - MAN_1969__181_161842
ER  - 
%0 Journal Article
%A B. SCARPELLINI
%T Some Applications of Gentzens Second Consistency Proof.
%J Mathematische Annalen
%D 1969
%P 325-344
%V 181
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1969__181_161842/
%F MAN_1969__181_161842
B. SCARPELLINI. Some Applications of Gentzens Second Consistency Proof.. Mathematische Annalen, Tome 181 (1969), pp. 325-344. http://geodesic.mathdoc.fr/item/MAN_1969__181_161842/