Handbook of Logic and Proof Techniques for Computer Science

Available
0
StarStarStarStarStar
0Reviews
Logic is, and should be, the core subject area of modern mathemat­ ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to a...
Read more
product_type_E-book
pdf
Price
44.99 £
Logic is, and should be, the core subject area of modern mathemat­ ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to a...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9781461201151
  • Publication Date: 6 Dec 2012
  • Publisher: Birkhauser Boston
  • Product language: English
  • Drm Setting: DRM