TY - BOOK AU - Rene Cori , Daniel Lascar TI - MATHEMATICAL LOGIC SN - 0-19-850049-1 CY - LONDON ER -