completeness,compactness,and undecidability;an introduction to mathematical manaster,a. b. - manaster,alfred b. (1st.ed. | Englewood Cliff Prentice-Hall, 1975)