Dover Books on Mathematics: Foundations of Mathematical Logic

Autor*innen

• Haskell Brooks Curry

Parameter

• 416 Seiten
• 15 Lesestunden

• Integration
• Logik
• Mathematik
• Probleme
• Wissenschaft

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 1977
• Einband: Paperback