Ausverkauft, aber heiß begehrt!
Mehr zum Buch
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
Buchkauf
Dover Books on Mathematics: Foundations of Mathematical Logic, Haskell Brooks Curry
- Sprache
- Erscheinungsdatum
- 1977
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Hier könnte deine Bewertung stehen.
- Titel
- Dover Books on Mathematics: Foundations of Mathematical Logic
- Sprache
- Englisch
- Autor*innen
- Haskell Brooks Curry
- Verlag
- Dover Publications
- Erscheinungsdatum
- 1977
- Einband
- Paperback
- Seitenzahl
- 416
- ISBN10
- 0486634620
- ISBN13
- 9780486634623
- Reihe
- Schlagwörter
- Sachbücher, Wissenschaft & Mathematik, Wissenschaft, Mathematik, Logik, Probleme, Integration
- Bewertung
- 3,6 von 5 Sternen
- Beschreibung
- Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.