TY  - BOOK
AU  - Srivastava S M
TI  - Course on mathematical logic
SN  - 9780387762753 (pbk)
U1  - B:(R1), P8 
PY  - 2008///
CY  - New York 
PB  - Springer      
KW  -  First-order languages
KW  -  Propositional logic
KW  - Mathematics
N1  - ''References 135-p''.; ''Index 137-140p''
ER  -