Miláčik čitateľov je práve vypredaný
Viac o knihe
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.
Nákup knihy
Dover Books on Mathematics: Foundations of Mathematical Logic, Haskell Brooks Curry
- Jazyk
- Rok vydania
- 1977
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Tu nám chýba tvoja recenzia
- Titul
- Dover Books on Mathematics: Foundations of Mathematical Logic
- Jazyk
- anglicky
- Autori
- Haskell Brooks Curry
- Vydavateľ
- Dover Publications
- Rok vydania
- 1977
- Väzba
- mäkká
- Počet strán
- 416
- ISBN10
- 0486634620
- ISBN13
- 9780486634623
- Série
- Štítky
- Náučná literatúra, Veda & Matematika, Veda, Matematika, Logika, Problémy, Integrácia
- Hodnotenie
- 3,6 z 5
- Anotácia
- 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.