TY  - BOOK
AU  - Manzano, Maria.
TI  - Extensions of First Order Logic
SN  - 0 521 35435 8
CY  - Cambridge
KW  - Logic
ER  -