Models of Propositional Calculi in Recursive Arithmetic.
Goodstein, R.L.
Mathematica Scandinavica, Tome 6 (1958), p. 293-296 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1958-01-01
EUDML-ID : urn:eudml:doc:165695 
@article{GDZPPN002345676,
     title = {Models of Propositional Calculi in Recursive Arithmetic.},
     journal = {Mathematica Scandinavica},
     volume = {6},
     year = {1958},
     pages = {293-296},
     zbl = {0088.01001},
     url = {http://dml.mathdoc.fr/item/GDZPPN002345676}
}

Goodstein, R.L. Models of Propositional Calculi in Recursive Arithmetic.. Mathematica Scandinavica, Tome 6 (1958) pp. 293-296. http://gdmltest.u-ga.fr/item/GDZPPN002345676/