logo raincoast distribution group

The Proof in the Code
The Proof in the Code
The Proof in the Code
The Proof in the Code

The Proof in the Code

How a Truth Machine Is Transforming Math and AI
Kevin Hartnett

9780374620059 | Hardcover Book

June 9, 2026 | 288 undefined

$42.00

:

New

Division: Raincoast

  • Farrar Straus & Giroux
  • : Quanta Books
  • Spring 2026
  • On Sale: Jun 09/26
  • Cloth | 6.2 x 9.4 | 288 undefined
  • 2 Black-and-White Diagrams / Appendix, Index
  • MATHEMATICS / Logic
  • 9780374620059