Logic: a Brief Course

Más información sobre el libro

Geared towards undergraduate students in computer science and mathematics, this concise book introduces mathematical logic through a proof of Gödel's completeness theorem. It explores essential concepts such as non-ambiguous syntax, logical equivalence, and Tarski semantics, while employing minimal mathematical prerequisites. The text includes exercises linking natural language to formal proofs, making it appealing to students in philosophy and linguistics as well. Key artifacts like Herbrand models and Skolem normal forms are also discussed, enhancing the reader's understanding of the subject.