TY  - BOOK
AU  - Manaster, Alferd B
TI  - Completeness, and undecidability: introduction to mathematical logic
U1  - 515.6 
CY  - New Delhi
PB  - Prentice-Hall
KW  - Calculus
KW  - Mathematics
KW  - Propositional calculus
N1  - Includes bibliolgraphical references and index
ER  -