1-24 of 122 Books

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

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

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

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

Fundamentals of mathematical logic
By Peter G. Hinman

Introduction to Mathematical Structures and Proofs
By Larry J. Gerstein

The elements of mathematical logic
By Paul C. Rosenbloom

Mathematische Grundlagen der Informatik
By Christoph Meinel,Martin Mundhenk

Symbolic logic
By Clarence Irving Lewis,Cooper H. Langford

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

Logic and information flow
By J. van Eijck,Albert Visser

Theoretical foundations of computer science
By Dino Mandrioli