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

Operatives Beweisen in der Grundschule: Theoretische Grundlagen und eine Fallstudie

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

Mathematical Foundations of Blockchains: Fundamentals, Volume 1

Gottlob Frege: Vordenker unserer digitalen Welt

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

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

Mathematical Foundations And Aspects Of Discrete Mathematics

Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems: Command Filtered Backstepping

Mathematical Foundations And Aspects Of Discrete Mathematics

Mathematical Foundations of Blockchains: Engineering Principles, Volume 2

Philosophical Methodology After Carnap

Innovating Independently in Mathematics

How to Do Good Mathematics

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

Mathematical Logic, Computability, Complexity, And Randomness - Proceedings Of The 16th Asian Logic Conference And 14th International Conference On Computability, Complexity, And Randomness

First-Order Schemata and Inductive Proof Analysis

What Is Mathematical Logic?