Il libro è attualmente esaurito
Maggiori informazioni sul 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.
Acquisto del libro
Logic: a Brief Course, Daniele Mundici
- Lingua
- Pubblicato
- 2012
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.