TY  - BOOK
AU  - Oglesby F C
TI  - Examination of a decision procedure
U1  - 510 
PY  - 1962///
CY  - N Y
PB  - AMS
KW  - Mathematics
ER  -