The basics of mathematics and mathematical logic

Cryptocurrency Concepts, Technology, and Applications

The Story of Proof: Logic and the History of Mathematics

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

Cause, Effect, and Everything in Between: An Introduction to Causal Inference

A Comprehensive Guide to R Programming for Data Analytics

Timeless Machines: Computability Across Eras: 22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27–31, 2026, Proceedings

Faszination Unendlichkeit: Von Wiener Walzer bis zu mengentheoretischen Spielen

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science

Automatisierte Logik: Eine ausfA?1?4hrlich motivierte EinfA?1?4hrung von der Aussagenlogik bis zur konstruktiven Typentheorie

The Pythagorean Theorem in 365 Proofs: Exploring the Nature of Mathematical Proof and the Cultural Legacy of the World's Most Famous Theorem

Axiomatic Set Theory: An Introduction

Philosophical Logic: A Phenomenological Approach

Philosophy of Science for Scientists

Mathematics Starts Here: A Guided Introduction to the Fundamental Ideas

The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics

Subquasivariety lattices in languages with equality

Studia Logica: A History of the Journal: A History of the Journal

Zum Verständnis der materialen Implikation

Logic, Semantics, and Algebraic Methods: Essays in Honor of Marcelo Esteban Coniglio

Triangulated Manifolds