TY - BOOK AU - Manaster, Alfred B AU - TI - Completeness, Compactness and unddecidability; An introduction to mathematical logic U1 - 51 PY - 1975/// CY - New Jersey PB - Prentice-Hall of India KW - Mathematics KW - Number theory KW - Set theory KW - Group theory KW - Pure mathematics KW - Modern mathematics KW - Arithmetic & algebra ER -