Manaster, Alfred B

Completeness, Compactness and Indecidability Introduction to Mathematical Logic - New Delhi Prentice Hall 1978 - vi,154p. 24 cm. PB

511.3 / MAN