Completeness, cmpactness, and undecidability: an introduction to mathematical logic

Bibliographic Details
Main Author: Manaster, Alfred B
Format: Printed Book
Published: New Jersey, Prentice Hall 1975
Subjects:
Logic
Mathematical
Predicate Colculus
Symbolic

MG University

Holdings details from MG University
Call Number: 511.3 L5
Copy Live Status Unavailable

Similar Items