Normal view MARC view ISBD view

An examination of a decision procedure / Francis C. Oglesby

Auteur principal : Oglesby, Francis C., AuteurType de document : MonographieCollection : Memoirs of the American Mathematical Society, 44Langue : anglais.Pays : Etats Unis.Éditeur : Providence : American Mathematical Society, 1962Description : 1 vol. (148 p.) ; 26 cmISBN : 9780821812440.ISSN : 0065-9266.Bibliographie : Bibliogr. p. 148.Sujet MSC : 03E30, Mathematical logic and foundations - Set theory, Axiomatics of classical set theory and its fragments
20F10, Special aspects of infinite or finite groups, Word problems, other decision problems, connections with logic and automata
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Couloir
Séries AMS (Browse shelf) Available 01511-01

Bibliogr. p. 148

There are no comments for this item.

Log in to your account to post a comment.