Cryptocoding Based on Quasigroups

Irrationality and Transcendence in Number Theory

Taking the “Oof!” Out of Proofs

Discrete Mathematics

A Concise Introduction

Set, Measure and Probability Theory

Intuitive Axiomatic Set Theory

Bornologies and Lipschitz Analysis

Generalized Notions of Continued Fractions

Ergodicity and Number Theoretic Applications

Algorithms for Constructing Computably Enumerable Sets

Baseball Mysteries

Challenging Puzzles for Logical Detectives

Gentle Introduction to Group Theory

Probability Foundations for Engineers

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Essentials of Fuzzy Soft Multisets

Theory and Applications

Language of Symmetry

Discrete Mathematics with Coding

Lateral Solutions to Mathematical Problems

Beyond First Order Model Theory, Volume II

Fuzzy Mathematical Analysis and Advances in Computational Mathematics

Recent Advances and Applications of Fuzzy Metric Fixed Point Theory

Philosophical Uses of Categoricity Arguments

Consequence Relations

An Introduction to the Lindenbaum-Tarski Method

Gödel's Incompleteness Theorems

Transition to Advanced Mathematics

Higher-Order Logic and Type Theory

Elements of Advanced Mathematics

Handbook of Constructive Mathematics

Concrete Introduction to Real Analysis

Discrete Quantum Walks on Graphs and Digraphs

Concise Introduction to Logic and Set Theory

Coarse Geometry of Topological Groups

Computable Structure Theory

Within the Arithmetic

Algebraic Computability and Enumeration Models

Recursion Theory and Descriptive Complexity

Entropy and Diversity

The Axiomatic Approach

Algebra & Geometry

An Introduction to University Mathematics

Biological Models via Interval Type-2 Fuzzy Sets