Geodesic
Models of Propositional Calculi in Recursive Arithmetic.
Mathematica Scandinavica, Tome 6 (1958), pp. 293-296.

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

Mots-clés : foundations of mathematics, philosophy, logic 
@article{MS2_1958__6_165695,
     author = {R.L. Goodstein},
     title = {Models of {Propositional} {Calculi} in {Recursive} {Arithmetic.}},
     journal = {Mathematica Scandinavica},
     pages = {293--296},
     publisher = {mathdoc},
     volume = {6},
     year = {1958},
     zbl = {0088.01001},
     url = {http://geodesic.mathdoc.fr/item/MS2_1958__6_165695/}
}
TY  - JOUR
AU  - R.L. Goodstein
TI  - Models of Propositional Calculi in Recursive Arithmetic.
JO  - Mathematica Scandinavica
PY  - 1958
SP  - 293
EP  - 296
VL  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1958__6_165695/
ID  - MS2_1958__6_165695
ER  - 
%0 Journal Article
%A R.L. Goodstein
%T Models of Propositional Calculi in Recursive Arithmetic.
%J Mathematica Scandinavica
%D 1958
%P 293-296
%V 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1958__6_165695/
%F MS2_1958__6_165695
R.L. Goodstein. Models of Propositional Calculi in Recursive Arithmetic.. Mathematica Scandinavica, Tome 6 (1958), pp. 293-296. http://geodesic.mathdoc.fr/item/MS2_1958__6_165695/