A Friendly Introduction to Mathematical Logic by Christopher C. Leary (English)
39,56 €
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory.
Jetzt bei Ebay: