Completeness,compactness and undecidability /
Manaster,A.B.
Completeness,compactness and undecidability / A.B.Manaster - New Jersey Prentice -Hall 1975 - vi,154 p. - Introduction to mathematical logic .
510.633 / MAN
Completeness,compactness and undecidability / A.B.Manaster - New Jersey Prentice -Hall 1975 - vi,154 p. - Introduction to mathematical logic .
510.633 / MAN