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