The basics of mathematics and mathematical logic

Cryptocurrency Concepts, Technology, and Applications

The Story of Proof: Logic and the History of Mathematics

Reading, Writing, and Proving: A Closer Look at Mathematics

Proof Assistants and Their Applications in Mathematics and Computer Science

Tic Tac Test: Beat the Book at Noughts and Crosses

Exploring Negation, Modality and Proof: 6th Asian Workshop on Philosophical Logic

Mathematical Foundations of Blockchains: Fundamentals, Volume 1

Graphs and Homomorphisms

The Random Number Code: Unlocking the Secrets of Numbers That You Can't Predict but Can Rely On

Logic Of Sound And Silence: Chaos And Order

Graphs and Homomorphisms

Algebraic Probabilistic Consistency: Boole, Łukasiewicz, de Finetti, Kolmogorov

Einführung in das mathematische Denken: Ein kompakter Vorkurs

Mathematical Foundations And Aspects Of Discrete Mathematics

Mathematical Foundations And Aspects Of Discrete Mathematics

Mathematical Foundations of Blockchains: Engineering Principles, Volume 2

The Random Number Code: Unlocking the Secrets of Numbers That You Can't Predict but Can Rely On

Archimedes` Revenge – The Challenge of the Unknown: The Challenge of Teh Unknown

First-Order Schemata and Inductive Proof Analysis

Triangulated Manifolds