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, Group theory and generalizations -- 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
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.