Ackermann's model and recursive predicates
Takahashi, Moto-o
Proc. Japan Acad., Tome 44 (1968) no. 8, p. 41-42 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1968-05-15
Classification:  02.72 
@article{1195521328,
     author = {Takahashi, Moto-o},
     title = {Ackermann's model and recursive predicates},
     journal = {Proc. Japan Acad.},
     volume = {44},
     number = {8},
     year = {1968},
     pages = { 41-42},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1195521328}
}

Takahashi, Moto-o. Ackermann's model and recursive predicates. Proc. Japan Acad., Tome 44 (1968) no. 8, pp.  41-42. http://gdmltest.u-ga.fr/item/1195521328/