AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

An examination of a decision procedure

About this Title

Francis C. Oglesby

Publication: Memoirs of the American Mathematical Society
Publication Year: 1962; Number 44
ISBNs: 978-0-8218-1244-0 (print); 978-0-8218-9988-5 (online)
DOI: https://doi.org/10.1090/memo/0044
MathSciNet review: 0184846

View full volume as PDF

Table of Contents

Chapters

• Introduction
• 1
• 2
• 3
• 4
• 5
• 6