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 c...

Full description

Main Author: Mundici, Daniele.
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language: English
Published: Milano : Springer Milan : 2012.
Series: UNITEXT,
Online Access: http://dx.doi.org/10.1007/978-88-470-2361-1
Tags: Add Tag
No Tags, Be the first to tag this record!