TY  - BOOK
AU  - Kleene, S.C
TI  - Two papers on the predicate calculus
N1  - B47 J2
ER  -