Forcing, Iterated Ultrapowers, And Turing Degrees

Chi Tat Chong , Qi Feng , Theodore A Slaman , W Hugh Woodin , Yue Yang

Mathematics / Logic

Universal Algebra, Algebraic Logic, and Databases

B. Plotkin

Mathematics / Logic

Sets, Logic and Categories

Peter J. Cameron

Mathematics / Logic

Computability and Logic

George S. Boolos , John P. Burgess , Richard C. Jeffrey

Mathematics / Logic

Lectures on Boolean Algebras

P.R. Halmos , Steven Givant

Mathematics / Logic

The Tractatus Logico Mathematicus

How Mathematics Explains Reality

Dr. Thomas Stark

Mathematics / Logic

Tractatus Logico-Philosophicus

Ludwig Wittgenstein

Mathematics / Logic

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

Gregory Cherlin

Mathematics / Logic

The Logic Design of Transistor Digital Computers

Gerald A. Maley , John Earle

Mathematics / Logic

Foundations and Fundamental Concepts of Mathematics

Howard Whitley Eves

Mathematics / Logic

The Joy of Sets

Fundamentals of Contemporary Set Theory

Keith Devlin

Mathematics / Logic

Logic and Structure

Dirk van Dalen

Mathematics / Logic

An Investigation of the Laws of Thought

George Boole

Mathematics / Logic

Handbook of Proof Theory

S.R. Buss

Mathematics / Logic

AMUSEMENTS IN MATHEMATICS

HENRY ERNEST DUDENEY

Mathematics / Logic