TY  - BOOK
AU  - manaster,alfred b.
TI  - completeness,compactness,and undecidability;an introduction to mathematical manaster,a. b
CY  - 1st.ed. | Englewood Cliff Prentice-Hall 
ER  -