#
**BookofProofs**

### About

**BoP** is an open book
dedicated to **mathematics, physics, and computer science**. Its goal is to broaden the public knowledge of the **axiomatic method**.

### Motto

The ability to formulate mathematical proofs using the axiomatic method should be taught as a basic skill like reading or writing.

This is what **BoP** is all about!

### Project

**BoP** was launched in February 2014 is
a collaborative project. In February 2023, we started migrating the site to github. You can now co-author if you are a github user.

### Selected Publications

All publications listed below can be downloaded **for free**. Enjoy! Some of them are still work-in-progress. Usage or reproduction may be **restricted by the license** referenced or stated in each publication.

Logic

Set Theory

Number Systems and Arithmetics

Algebra

Calculus

Topology

Geometry

Euclid's Elements

Combinatorics

Probability Theory and Statistics

Number Theory

Graph Theory

Knot Theory

Game Theory

Theoretical Physics

Theoretical Computer Science

Dudeney's Amusements in Mathematics