Saila
Didáctica de Ciencias Experimentales, Sociales y Matemáticas
Artikuluak (1) Ikertzaileren baten partaidetza izan duten argitalpenak
1977
-
Primitive recursive algebraic theories and program schemes
Bulletin of the Australian Mathematical Society, Vol. 17, Núm. 2, pp. 207-233