TY  - BOOK
AU  - Knee G B
TI  - First-order foundational calculus
T2  - Monographs in modern logic
U1  - R1, K4 
PY  - 1964///
CY  - London
PB  - Routledge & Kegan Paul       
ER  -