Completeness, compactness and undecidability: An introduction to mathematical logic
Manaster, Alfred B
Completeness, compactness and undecidability: An introduction to mathematical logic - Prentice Hall International 1978 - 154
Mathematical (Symbolic) logic
511.3
Completeness, compactness and undecidability: An introduction to mathematical logic - Prentice Hall International 1978 - 154
Mathematical (Symbolic) logic
511.3