Popular Lectures on 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

Clear Thinking, Sound Arguments

A Comprehensive Introduction to Logic

Mastering Logical Reasoning

A Comprehensive Guide to Critical Thinking

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

Godel's Theorems and Zermelo's Axioms

A Firm Foundation of Mathematics

What Is Mathematical Logic?

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

Partial Truths

How Fractions Distort Our Thinking

So You Think You've Got Problems?

Surprising and rewarding puzzles to sharpen your mind

Mathematical Intelligence

What We Have that Machines Don't

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Combinatorial Set Theory

With a Gentle Introduction to Forcing

Institution-independent Model Theory

Cybersecurity for Internet of Health Things

Limits of Mathematics

A Journey Through the Key Areas of Mathematical Logic

Thinking Programs

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

Introduction to Homotopy Type Theory

Kurt Godel's False Dilemma