Logic Mathematics and Computer Science
Springer | Mathematics, Computer Science | November 14, 2015 | ISBN-10: 1493932225 | 391 pages | pdf | 3.8 mb
by Y. Nievergelt (Author, Editor)
Includes applications in game theory and Nash's equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting
Focuses of foundations, with specific statements of all the associated axioms and rules of logic and set theory
Provides complete details and derivations of formal proofs
Develops the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory
Provides copious references to literature that documents historical development