Questo è quello che aggiungi al carrello
Parametri
- 418pagine
- 15 ore di lettura
Maggiori informazioni sul libro
A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.
Acquisto del libro
Open Logic Project Textbooks: Sets, Logic, Computation, Richard Zacharuk
- Lingua
- Pubblicato
- 2021
- product-detail.submit-box.info.binding
- (In brossura),
- Condizioni del libro
- In ottime condizioni
- Prezzo
- 11,49 €
Metodi di pagamento
Ancora nessuna valutazione.
- Titolo
- Open Logic Project Textbooks: Sets, Logic, Computation
- Sottotitolo
- An Open Introduction to Metalogic
- Lingua
- Inglese
- Autori
- Richard Zacharuk
- Editore
- Independently published
- Pubblicato
- 2021
- Formato
- In brossura
- Pagine
- 418
- ISBN13
- 9798536395509
- Serie
- Descrizione
- A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.