TY  - BOOK
AU  - Hayashi, Susumu
AU  - Nakano, Hiroshi
TI  - PX
SN  - 0262081741
U1  - 511.3 
PY  - 1988///
CY  - Cambridge
PB  - Mit Pr.
KW  - Logic, Symbolic And Mathematical
KW  - Automatic Theorem Proving
ER  -