Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Logic: a Brief Course, Daniele Mundici
- Langue
- Année de publication
- 2012
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .