Craig's interpolation theorem for the intuitionistic logic of constant domains

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Logic: A Very Short Introduction

Graham (Distinguished Professor of Philosophy at the CUNY Graduate Center) Priest

A Cabinet of Philosophical Curiosities

Roy Sorensen

Introduction to Logic

SJ Gensler Harry J.

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

Real Analysis and Foundations

Steven G. Krantz

The logic manual

Volker Halbach

Putting Logic in its Place

David Christensen

Introduction to quantum mechanics

David Griffiths

Introduction to English Syntax

Rolf. Kreyer

Elementary number theory

David Burton

Thomas calculus

Roderick Weir Home

Let Over Lambda

Doug Hoyte

Formal logic - a guided tour

Herman Ruge Jervell

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

Knowledge Representation and Reasoning

Ronald J. Brachman

Logic and Computer Design Fundamentals

M. Morris Mano

Deductive Logic

Warren Goldfarb

The Rationality of Theism

Paul K. Moser

Logic and Philosophy

Paul Tidman

Statistical Inference

George Casella

Introducing translation studies

Jeremy Munday

Logic

Graham Priest

Syntactic theory. A formal introduction.

Ivan A. Sag

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Categories for the Working Mathematician

Saunders Mac Lane

A New Introduction to Modal Logic

George Edward Hughes

An introduction to homological algebra

Charles A. Weibel

Fuzzy Sets and Fuzzy Logic

George J. Klir

The Language of First-Order Logic

Jon Barwise

Formal Logic

Jeffrey, Richard C.

Modal Logic An Introduction

Brian F. Chellas

Logic in linguistics

Jens alleood,

The Myth of Invariance

Ernest G. McClain

On Skolem and Herbrand theorems for intuitionistic logic

Enid Blyton

An adventurer's guide to number theory

Richard Friedberg

Descartes

Willis Doney