Manaster, Alfred B.
Completeness, compactness and undecidability : an introduction to mathematical logic
- New Delhi : Prentice Hall of India Private Limited, ©1978.
- vi, 154 p. : ill. ; 23 cm (Paperback)
Donated by Dr. Belmannu Devadas Acharya.
Includes bibliographical references and index.
NA
Logic, Symbolic and mathematical Predicate calculus
511.3 / MAN / G