Liknande böcker

Algorithms and Complexity
Bok av Author Unknown
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Bok av Nikolaos Galatos
Computability, Complexity, and Languages : Fundamentals of Theoretical C...
Bok av Martin D Davis
Graph-theoretic concepts in computer science
Bok av Manfred Nagl
Logic and discrete mathematics : a concise introduction
Bok av Willem Conradie
Automata, Languages and Programming : 37th International Colloquium, ICA...
Bok av Samson. Abramsky
How to prove it : a structured approach
Bok av Daniel J. Velleman
Elements of the theory of computation
Bok av Harry R. Lewis

A Course in Mathematical Logic

Bok av J. L. Bell
A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.