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: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
Call Number: |
INTERNET RESOURCE |
---|