Épuisé, mais très demandé!
En savoir plus sur le livre
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.
Achat du livre
Dover Books on Mathematics: Foundations of Mathematical Logic, Haskell Brooks Curry
- Langue
- Année de publication
- 1977
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.
- Titre
- Dover Books on Mathematics: Foundations of Mathematical Logic
- Langue
- Anglais
- Auteurs
- Haskell Brooks Curry
- Éditeur
- Dover Publications
- Publié
- 1977
- Format
- souple
- Pages
- 416
- ISBN10
- 0486634620
- ISBN13
- 9780486634623
- Séries
- Mots clés
- Nonfiction, Science et Mathématiques, Science, Mathématiques, Logique, Problèmes, Intégration
- Évaluation
- 3,6 sur 5
- Description
- 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.