Presne táto pôjde do košíka
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á),
- Stav knihy
- Dobrá
- Cena
- 7,49 €
Platobné metódy
Nikto zatiaľ neohodnotil.