Tallenna
Deduction Systems
Whitehead and Russell showed in their Principia Mathematica that the entirety of classical mathematics can be developed within the framework of a formal calculus, and in 1930, Skolem, Herbrand, and Godel demonstrated that the first-order predicate calculus (which is such a calculus) is complete, i.
- Kirjailija
- Rolf Socher-Ambrosius, Patricia Johann
- Painos
- Softcover reprint of the original 1st ed. 1997
- ISBN
- 9781461274797
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 18.9.2011
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 206
