Faithin Omaha eBook Collection

Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic tha

This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns the view that the first mathem

Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, it

"Mackenzie has achieved a masterful synthesis of engrossing narrative, imaginative concepts, historical perspective, and social concern." Donald MacKenzie follo