An examination of a decision procedure
by
Oglesby, Francis C., author.
Title
:
An examination of a decision procedure
Author
:
Oglesby, Francis C., author.
ISBN
:
9780821899885
Personal Author
:
Oglesby, Francis C., author.
Physical Description
:
1 online resource (152 pages).
Series
:
Memoirs of the American Mathematical Society ; number 44
Memoirs of the American Mathematical Society ; no. 44.
General Note
:
Cover title.
Local Note
:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Term
:
Logic, Symbolic and mathematical.
Calculus.
Genre
:
Electronic books.
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 2226415-1001 | BC135 .O35 1962 | Ebrary E-Books |