Superintelligence: Paths, Dangers, Strategies

The Selfish Gene: 40th Anniversary edition, Edition 4

The Art of Strategy: A Game Theorist's Guide to Success in Business and Life

How to Solve It: A New Aspect of Mathematical Method

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

The Black Swan: The Impact of the Highly Improbable

Gentzen's Centenary: The Quest for Consistency

Proofs and Computations

Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)

The Legacy of Kurt Schütte

Math Storm Olympiad Problems

Mathematics for the Physical Sciences

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

The (Mis)Behaviour of Markets: A Fractal View of Risk, Ruin and Reward

Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy