Superintelligence: Paths, Dangers, Strategies

Proofs and Computations

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

Gentzen's Centenary: The Quest for Consistency

How to Solve It: A New Aspect of Mathematical Method

The Legacy of Kurt Schütte

The Selfish Gene: 30th Anniversary edition

The Black Swan: The Impact of the Highly Improbable

Short Tricks of Math

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

Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition

Humble Pi: A Comedy of Maths Errors

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

A Course In Game Theory

Concepts of Modern Mathematics

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