Completeness, compactness and Undecidability an introduction to mathematical logic

Bibliographic Details
Main Author: Manaster, Alfred B.
Format: Book
Language:English
Published: New Delhi Prentice-Hall of India 1978
Subjects:

Similar Items