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

Powered by Koha