Naive Set Theory

P. R. Halmos

Mathematics / Logic

How to Prove It

A Structured Approach

Daniel J. Velleman

Mathematics / Logic

Handbook of Logic and Language

Alice ter Meulen , Johan F.A.K. van Benthem

Mathematics / Logic

Principles of Mathematical Logic

David Hilbert , Wilhelm Ackermann

Mathematics / Logic

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

Mathematics / Logic

Fact, Fiction, and Forecast

Nelson Goodman

Mathematics / Logic

Handbook of Research on Advances and Applications of Fuzzy Sets and Logic

Broumi, Said

Mathematics / Logic

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Mathematics / Logic

Notes on Set Theory

Yiannis Moschovakis

Mathematics / Logic

Introduction to Mathematical Logic

Elliott Mendelson

Mathematics / Logic

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