TY  - BOOK
AU  - Bergmann,Merrie
AU  - Moor,James
AU  - Nelson,Jack
TI  - The logic book
SN  - 0070060592
U1  - 160 20
PY  - 1998///
CY  - New York
PB  - McGraw-Hill Companies
KW  - Logic, Symbolic and mathematical
KW  - Predicate (Logic)
N1  - includes bibliography and index; 1.	basic notions of logic,
2.	 sentential logic: symbolization and syntax,
3.	 sentential logic: semantics,
4.	 sentential logic: truth-trees, 
5.	sentential logic: derivations, 
6.	sentential logic: metatheory,
7.	 predicate logic: symbolization syntax, 
8.	predicate logic: semantics,
9.	 predicate logic: truth-trees, 
10.	predicate logic: derivations,
11.	 predicate logic: metatheroy

ER  -