The Mathematics of Logic: A Guide to Completeness Theorems and their Application
55,69 €
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic.
Jetzt bei Ebay:
