TY  - BOOK
AU  - Cauman, Leigh S
TI  - First-order logic : an introduction
SN  - 9783110157666
SN  - 98027510
U1  - 160 CAU 
PY  - 1998///
CY  - Berlin
PB  - Walter de Gruyter
KW  - First-order logic
N1  - Includes bibliographical references and index
ER  -