TY  - BOOK
AU  - Kleene S C
TI  - Two papers on the predicate calculus
U1  - 510 
PY  - 1952///
CY  - N Y
PB  - AMS
KW  - Mathematics
KW  - Predicate calculus
ER  -