Titre :	an Examination of a decision procedure
Type de document :	texte imprimé
Auteurs :	Oglesby, F.
Editeur :	Providence, R.I. : American Mathematical Society
Année de publication :	1962
Collection :	Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 44
Importance :	148 p.
Langues :	Anglais
Mots-clés :	mathematical logic
Index. décimale :	Mem

an Examination of a decision procedure [texte imprimé] / Oglesby, F. . - Providence, R.I. : American Mathematical Society, 1962 . - 148 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 44) .
Langues : Anglais

Mots-clés :	mathematical logic
Index. décimale :	Mem