Esaurito ma molto ricercato!
Maggiori informazioni sul libro
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.
Acquisto del libro
Dover Books on Mathematics: Foundations of Mathematical Logic, Haskell Brooks Curry
- Lingua
- Pubblicato
- 1977
- Rilegatura
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.
- Titolo
- Dover Books on Mathematics: Foundations of Mathematical Logic
- Lingua
- Inglese
- Autori
- Haskell Brooks Curry
- Editore
- Dover Publications
- Pubblicato
- 1977
- Formato
- In brossura
- Pagine
- 416
- ISBN10
- 0486634620
- ISBN13
- 9780486634623
- Serie
- Tag
- Scienza, Logica, Problemi, Integrazione
- Valutazione
- 3,6 su 5
- Descrizione
- 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.