Completeness, compactness, and undecidability: an introduction to mathematical logic.
MANASTER (Alfred B).
Completeness, compactness, and undecidability: an introduction to mathematical logic. - ND Prentice Hall 1978 - 154
Mathematics maths completeness compactness undecidability
511.3 MANC
Completeness, compactness, and undecidability: an introduction to mathematical logic. - ND Prentice Hall 1978 - 154
Mathematics maths completeness compactness undecidability
511.3 MANC