Daniele Mundici Livres

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.

This book provides self-contained proofs of fundamental results in Lukasiewicz's infinite-valued propositional calculus and Chang's MV-algebras. Aimed at self-study, it requires basic knowledge of classical logic, algebra, and topology. It explores the relationship between MV-algebras and infinite-valued logic using Ulam's game of Twenty Questions.