Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
€5.60
Preis bei Onlinekauf
Kostenloser Versand
30 Tage kostenlose Rückgabe
Verkauft und versendet von noticiasdelaquinta.com.ar
Wir bemühen uns, Ihnen genaue Produktinformationen anzuzeigen. Hersteller, Lieferanten und andere stellen die hier gezeigten Angaben bereit.
€5.60
Preis bei Onlinekauf
Kostenloser Versand
30 Tage kostenlose Rückgabe
Verkauft und versendet von noticiasdelaquinta.com.ar
30 Tage kostenlose Rückgabe Details
Produktdetails
| Artikelnummer | 236848246 | Erscheinungsdatum | 2026/07/10 | Listenpreis | €5.60 | Modellnummer | 236848246 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
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. Read more
| ASIN | B099C47ND8 |
|---|---|
| ISBN13 | 979-8536395509 |
| Language | English |
| Publisher | Independently published |
| Dimensions | 7.44 x 0.99 x 9.69 inches |
| Item Weight | 2.12 pounds |
| Print length | 436 pages |
| Part of series | Open Logic Project Textbooks |
| Publication date | July 13, 2021 |
Korrektur der Produktinformationen
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
KorrekturanfrageKundenbewertungen
4.6 von 5
★★★★★
138 Bewertungen | 57 Rezensionen
So wird die Artikelbewertung berechnet
Alle Bewertungen anzeigen
Sortieren nach
Für dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.