TY  - DATA
AU  - Kleene, Stephen Cole
AU  - Kleene, Stephen Cole,Kleene, Stephen Cole,
TI  - Two papers on the predicate calculus 
T2  - Memoirs of the American Mathematical Society, 
SN  - 9780821898895 (online)
PY  - 1967///, c1952
CY  - Providence, R.I.
PB  - American Mathematical Society
UR  - http://www.ams.org/memo/0010
ER  -