Completeness compactness and undecidability An introduction to mathematical logic /
Manaster, Alfred B.
Completeness compactness and undecidability An introduction to mathematical logic / - New Delhi : Prentice Hall , 1978. - vi+154 23cms
Completeness compactness and undecidability An introduction to mathematical logic / - New Delhi : Prentice Hall , 1978. - vi+154 23cms