An examination of a decision procedure / Francis C. Oglesby

Auteur: Oglesby, Francis C. - AuteurType de document: MonographieCollection: Memoirs of the American Mathematical Society ; 44Langue: anglaisPays: Etats UnisÉditeur: Providence : American Mathematical Society, 1962Description: 1 vol. (148 p.) ; 26 cm ISBN: 9780821812440 ; br. ISSN: 0065-9266Bibliographie: Bibliogr. p. 148. Sujets MSC: 03E30 Mathematical logic and foundations -- Set theory -- Axiomatics of classical set theory and its fragments
20F10 Group theory and generalizations -- Special aspects of infinite or finite groups -- Word problems, other decision problems, connections with logic and automata
Location Call Number Status Date Due
Couloir 01511-01 / Séries AMS (Browse Shelf) Available

Bibliogr. p. 148

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |