TY  - BOOK
AU  - Hein,James
TI  - Discrete structures, logic, and computability
SN  - 9789380108391
U1  - 519.28 H364D3 
PY  - 2010///
CY  - New Delhi
PB  - Jones and Bartlett Publishers
KW  - Mathematics
KW  - Sets
KW  - Graphs and tress
KW  - Predicate logic
KW  - Computational logic
ER  -