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