Introduction to Mathematical Logics

Construction of Angle Trisection (An Addition in Euclidean Geometry)

Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems

Emerging Methodologies and Applications in Modelling, Identification and Control

Clear Thinking, Sound Arguments

A Comprehensive Introduction to Logic

That Learner

Foundations of Mathematical Thought: The Language of Numbers

An In-Depth Exploration of Abstraction, Formal Systems, and Logical Reasoning

AI Breaking Boundaries

The Language of Mathematics

The Stories behind the Symbols

Mastering Logical Reasoning

A Comprehensive Guide to Critical Thinking

Godel's Theorems and Zermelo's Axioms

A Firm Foundation of Mathematics

What Is Mathematical Logic?

Critical Thinking for Teens

Navigate Through High School With Logic, Problem-Solving & the Art of Questioning to Spot the Truth, Misinformation and Wisdom in Everything

Higher Recursion Theory and Set Theory

Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore : Book 44

Partial Truths

How Fractions Distort Our Thinking

So You Think You've Got Problems?

Surprising and rewarding puzzles to sharpen your mind

The Language Lover's Puzzle Book

Lexical perplexities and cracking conundrums from across the globe

Mathematical Intelligence

What We Have that Machines Don't

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Institution-independent Model Theory

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Limits of Mathematics

A Journey Through the Key Areas of Mathematical Logic

Computable Structure Theory

A Unified Approach

Ideals, Varieties, and Algorithms

An Introduction to Computational Algebraic Geometry and Commutative Algebra

Combinatorial Set Theory

With a Gentle Introduction to Forcing

Russell, Godel, Tarski

Selected Papers on the Philosophy of Logic and Mathematics