Dover Books on Mathematics: Foundations of Mathematical Logic

Autori

• Haskell Brooks Curry

Parametri

• 416 pagine
• 15 ore di lettura

• Logica
• Matematica
• Saggistica
• Scienza
• Scienza e Matematica

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.

Lingua: Inglese

Pubblicato: 1977

(In brossura)