TY  - BOOK
AU  - Fraïssé,Roland
TI  - Course of mathematical logic 
SN  - 9027702691
U1  - 164 FRA 2  
PY  - 1972///.
CY  - Boston : 
PB  - D. Reidel Publishing Company, 
KW  - Logic, Symbolic and mathematical
N1  - Includes index.; Vol. 2. Model theory
ER  -