TY  - BOOK
AU  - Agler,David W.
TI  - Symbolic logic: syntax, semantics, and proof 
SN  - 9781442217423
U1  - 511.3 23
PY  - 2013///]
CY  - Lanham
PB  - Rowman & Littlefield Publishers, Inc.
KW  - Logica simbolica
KW  - sbaa
N1  - Include bibliografia e indice
ER  -