𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Universitext] A Course on Mathematical Logic || Completeness Theorem for First-Order Logic

✍ Scribed by Srivastava, Shashi Mohan


Book ID
120324327
Publisher
Springer New York
Year
2012
Weight
229 KB
Category
Article
ISBN
1461457467

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[UNITEXT] Logic: A Brief Course || GΓΆdel
✍ Mundici, Daniele πŸ“‚ Article πŸ“… 2012 πŸ› Springer Milan 🌐 Italian βš– 197 KB

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of GΓΆdel's completeness theorem and its main consequences is given using Robinson's completeness theorem and GΓΆdel's compactness theo