The game of logic

Innumeracy

An investigation of the laws of thought

Introduction to set theory

The elements of mathematical logic.

The Foundations of arithmetic

Mathematical logic

Induction and analogy in mathematics

From Frege to Gödel

An introduction to symbolic logic.

Modal Logic

Introduçao a logica para a ciencia da computaçao

Regulae ad directionem ingenii

Incompleteness

L'analisi matematica della logica

Problems in the constructive trend in mathematics.

Storia della logica

The Theory of Ultra Filters (Grundlehren Der Mathematischen Wissenschaften Series, Vol 211)

Lógica matemática

Logica matematica per l'informatica

An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)

Fundamentos de lógica matemática y computación

Primer curso de logica matematica - 1. ed.

Lo gica matema tica

Logical and logico-mathematical calculi. 2.

Lógica para lingüistas

Philosophische Grammatik

Poincaré Conjecture

Beweistheorie

A Course in Model Theory

Cambridge Summer School in Mathematical Logic

Logic Colloquium '73

Fundamentals of mathematical logic

Model theory

Vaguely Defined Objects: Representations, Fuzzy Sets and Nonclassical Cardinality theory (Theory and Decision Library B:)

Temporal logic

Logic Colloquium

Représentations unipotentes génériques et blocs des groupes réductifs finis

Logic for computer scientists

Finite Structures with Few Types. (AM-152) (Annals of Mathematics Studies)