1-24 of 122 Books

Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Applications)
By Elliott Mendelson

Discrete structures, logic, and computability
By James L. Hein

Logicomix - An Epic Search for Truth
By Apostolos K. Doxiadēs,Christos H. Papadimitriou,Alecos Papadatos

Proofs and refutations
By Imre Lakatos,John Worrall,Elie Zahar

Introduction to Mathematical Structures and Proofs
By Larry J. Gerstein

Fundamentals of mathematical logic
By Peter G. Hinman

The elements of mathematical logic
By Paul C. Rosenbloom

Mathematische Grundlagen der Informatik
By Christoph Meinel,Martin Mundhenk

Foundations of mathematical logic
By Haskell B. Curry

Theoretical foundations of computer science
By Dino Mandrioli

Symbolic logic
By Clarence Irving Lewis,Cooper H. Langford

A guide to classical and modern model theory
By A. Marcja,Annalisa Marcja,Carlo Toffalori