Logic: a Brief Course [electronic resource] by Daniele Mundici.
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...
Uniform Title: | La Matematica per il 3+2,
2038-5757 |
---|---|
Main Author: | |
Corporate Author: | |
Language: | English |
Published: |
Milano :
Springer Milan : Imprint: Springer,
2012.
|
Edition: | 1st ed. 2012. |
Series: | La Matematica per il 3+2,
|
Subjects: | |
Online Access: | |
Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.