Home » Authors » Christopher C. Leary,‎ Lars Kristiansen

Christopher C. Leary,‎ Lars Kristiansen

Public reference bibliography and cataloged PDF materials authored or published by Christopher C. Leary,‎ Lars Kristiansen.

Found 1 document(s) Page 1 of 1

A Friendly Introduction to Mathematical Logic

Year: 2019 • ISBN: 978-1942341079 • Source: freecomputerbooks.com • Listed PDF

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...