Wyprzedane, ale poszukiwane!
Więcej o książce
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.
Zakup książki
Dover Books on Mathematics: Foundations of Mathematical Logic, Haskell Brooks Curry
- Język
- Rok wydania
- 1977
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Brakuje nam tutaj Twojej recenzji.
- Tytuł
- Dover Books on Mathematics: Foundations of Mathematical Logic
- Język
- angielski
- Autorzy
- Haskell Brooks Curry
- Wydawca
- Dover Publications
- Rok wydania
- 1977
- Oprawa
- miękka
- Liczba stron
- 416
- ISBN10
- 0486634620
- ISBN13
- 9780486634623
- Seria
- Tagi
- Nauka, Logika, Problemy, Integracja
- Ocena
- 3,6 z 5
- Opis
- 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.