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 of India, 1978 - vi,154 p. 23 cm - .
0
Completeness theorem
Godels theorem
517.1 Man
Completeness, compactness and undecidability : an introduction to mathematical logic - - New Delhi Prentice-Hall of India, 1978 - vi,154 p. 23 cm - .
0
Completeness theorem
Godels theorem
517.1 Man