Introduction to Logic

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

That Learner

Foundations of Mathematical Thought: The Language of Numbers

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

AI Breaking Boundaries

Clear Thinking, Sound Arguments

A Comprehensive Introduction to Logic

Mastering Logical Reasoning

A Comprehensive Guide to Critical Thinking

What Is Mathematical Logic?

Godel's Theorems and Zermelo's Axioms

A Firm Foundation of Mathematics

Higher Recursion Theory and Set Theory

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

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

The Language Lover's Puzzle Book

Lexical perplexities and cracking conundrums from across the globe

Mathematical Intelligence

What We Have that Machines Don't

Partial Truths

How Fractions Distort Our Thinking

So You Think You've Got Problems?

Surprising and rewarding puzzles to sharpen your mind

Institution-independent Model Theory

Cybersecurity

A Practical Introduction

Philosophical Methodology After Carnap

Philosophy and Religion (R0)

The Little Math Whiz

Russell, Godel, Tarski

Selected Papers on the Philosophy of Logic and Mathematics

Limits of Mathematics

A Journey Through the Key Areas of Mathematical Logic

Ideals, Varieties, and Algorithms

An Introduction to Computational Algebraic Geometry and Commutative Algebra

Thinking Programs

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

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas