TY  - BOOK
AU  - Barwise Jon Ed.
TI  - Hand book of Mathematical logic
T2  - Studies in logic and the foundation of mathematics; 90
U1  - B:(R1)g, L7 
PY  - 1977///
CY  - Amsterdam
PB  - North-Holland         
KW  -  Symbolic and mathematical
KW  - Logic
ER  -