Hierarchies of predicates of finite types /

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Clarke, D. A. (Douglas Albert)
Format: Électronique eBook
Langue:Inglés
Publié: Providence, R.I. : American Mathematical Society, 1964.
Collection:Memoirs of the American Mathematical Society ; no. 51.
Sujets:
Recursive functions.
Number theory.
Fonctions récursives.
Théorie des nombres.
Number theory
Recursive functions
Aussage
Hierarchie
Prädikat
Prädikatenlogik
Finiter Typus.
Accès en ligne:Texto completo

Internet

Texto completo

Items no disponibles

Informations d'exemplaires de

Documents similaires