An examination of a decision procedure/

Main Author: Oglesby, Francis C.
Format: Book
Language:English
Published: Providence, R.I.: American Mathematical Society, 1962
Series:Memoirs of the American Mathematical Society ; 44
Subjects:
LEADER 00747nam a2200217 a 4500
001 1059928
005 20171111232410.0
008 071025s1962 gr erb 000 0 eng d
040 |a GrAtEKP.Mathimatiko  |b gre  |e AACR2 
082 0 |2 22  |a 510 
100 1 |a Oglesby, Francis C. 
245 1 3 |a An examination of a decision procedure/  |c by Francis C. Oglesby 
260 |a Providence, R.I.:  |b American Mathematical Society,  |c 1962 
300 |a 148 p. ;  |c 25 cm. 
490 0 |a Memoirs of the American Mathematical Society ;  |v 44 
500 |a Cover title 
504 |a Bibliography: p. 148 
650 0 |a Mathematics 
650 0 |a Logic, Symbolic and mathematical 
650 0 |a Calculus 
952 |a GrAtEKP  |b 59ccddad6c5ad134460aa8b1  |c 998a  |d 945l  |e 510 MAMS 1962 44  |t 2  |x m  |z Books