Logica nella matematica

How to Read and Do Proofs

An Introduction to Critical Thinking and Creativity

Formal Logic

The Art and Craft of Problem Solving

The Foundations of Mathematics

The Story of Proof

How to Solve It

A TeXas Style Introduction to Proof

Foundations and Fundamental Concepts of Mathematics

Basic Discrete Mathematics

Mathematical Logic for Computer Science

Set Theory

Logic For Dummies

Godel's Proof

Proof Analysis

Introducción a la lógica matemática

An Introduction to Mathematical Proofs

Introduction to Mathematical Logic

Modern Mathematical Logic

Flatland

Mathe kompakt für Dummies

El arte de la lógica

An Invitation to Applied Category Theory

Logica matematica

Basic Category Theory

The Arrow Impossibility Theorem

Paradoxes of the Infinite

Proof Theory

A Profile of Mathematical Logic

Introduction to Symbolic Logic and Its Applications

Introduction to Logic

Inductive Logic

Mathematics and the Divine

Lo scarabeo d'oro

Harmonic Analysis and Convexity

Logic for Kids

The Notion of mathematical proof: Key rules and considerations

Alan Turing's Systems of Logic

The Semantic Conception of Logic

Introduction to Fuzzy Logic

Entropy and Diversity

Neue Grundlagen der Logik, Arithmetik und Mengenlehre

Simply Turing

Games for Your Mind

Proofs 101

Classical and Nonclassical Logics

An Introduction to Formal Logic: Second Edition

El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural

Justification Logic

Proof Complexity

Propositional Logics 3rd edition

Logic in Wonderland

Fixing Frege

Proof and Computation

Control automático aplicado

Fundamentals of Functions and Measure Theory

Reverse Mathematics

The Digital and the Real World

Descriptive Set Theory and Forcing

Simply Gödel

Lo scarabeo d'oro

Mathematical Puzzles

Discrete Mathematics with Coding

Parabolic Problems

Taking the "Oof!" Out of Proofs

Intuitive Axiomatic Set Theory

Automatic Complexity

Studies in Inductive Logic and Probability, Volume I

Threshold Logic

Critical Views of Logic

Parabolic Problems

Logic as a Tool

Recursion Theory

Threshold Logic

Studies in Inductive Logic and Probability, Volume I

Taking the "Oof!" Out of Proofs

Mathematical Puzzles

Intuitive Axiomatic Set Theory

Automatic Complexity

Lo scarabeo d'oro

Mathematical Logic

The Baseball Mysteries

The Elements of Advanced Mathematics

Transition to Advanced Mathematics

Harmonic Analysis and Convexity

Category Theory

Model Theory of Operator Algebras

Automata Theory and Formal Languages

Critical Views of Logic

Modern Mathematical Logic

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments

Large Cardinals, Determinacy and Other Topics: Volume 4

Algorithmic Randomness

(Co)end Calculus

Elements of ∞-Category Theory

Computable Structure Theory

Complexity of Infinite-Domain Constraint Satisfaction

The Semantic Conception of Logic

Foundations of Constructive Probability Theory

Entropy and Diversity

Justification Logic

An Invitation to Applied Category Theory

Proof Complexity

Synthetic Differential Topology

Exploring Mathematics

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Logical Modalities from Aristotle to Carnap

Degrees of Unsolvability

Proper and Improper Forcing

Constructibility

Fine Structure and Iteration Trees

Logic Colloquium '90

Computability in Analysis and Physics

Higher Recursion Theory

Metamathematics of First-Order Arithmetic

Admissible Sets and Structures

Model-Theoretic Logics

Recursion-Theoretic Hierarchies

General Recursion Theory

Fundamentals of Stability Theory

Basic Category Theory

Lambda Calculus with Types

Graph Structure and Monadic Second-Order Logic

A Course in Model Theory

Models and Games

Infinity

Mathe kompakt für Dummies

Introducción a la Lógica matemática

Discrete Mathematics with Coding