TY  - BOOK
AU  - Kalish, Donald
AU  - Montague, R.
TI  - Logic: techniques of formal reasoning
ER  -