Wyprzedane, ale poszukiwane!
Więcej o książce
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.
Zakup książki
Open Logic Project Textbooks: Sets, Logic, Computation, Richard Zacharuk
- Język
- Rok wydania
- 2021
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Open Logic Project Textbooks: Sets, Logic, Computation
- Podtytuł
- An Open Introduction to Metalogic
- Język
- angielski
- Autorzy
- Richard Zacharuk
- Wydawca
- Independently published
- Rok wydania
- 2021
- Oprawa
- miękka
- Liczba stron
- 418
- ISBN13
- 9798536395509
- Seria
- Kategorie
- Tagi
- Podręczniki, Logika
- Opis
- 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.