Logic : a brief course /
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...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English Italian |
| Published: |
Milan ; New York :
Springer,
c2012
Milan ; New York : ©2012 |
| Series: | Unitext
|
| Subjects: |