Discrete Structures, Logic and Computability

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Discrete Mathematics and Its Applications

Kenneth H.

Introduction to Logic

SJ Gensler Harry J.

Discrete and Combinatorial Mathematics: An applied introduction

Ralph Grimaldi

Logic

Dan Cryan

Applied Combinatorics

Alan Tucker

Language, Proof and Logic

Dave Barker-Plummer

Database Systems

Thomas Connolly,

Discrete mathematics and it's applications

Kenneth H. Rosen

Computer organization & architecture

William stallings

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

Logic and Computer Design Fundamentals

M. Morris Mano

Introduction to computing systems - from bits…

Yale University) Baaij C.J.W. (J.S.D. candidate

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Essential Discrete Mathematics for Computer Science

Todd Feil

Deductive Logic

Warren Goldfarb

Concepts in Programming Languages

John Abercrombie

Discrete mathematics for computing

Peter Grossman

Discrete Mathematics

Norman L. Biggs

Logic and Philosophy

Paul Tidman

Introduction to computing systems - from bits & gates to C & beyond

Yale N. Patt

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Formal Logic

Jeffrey, Richard C.

Computers and Information Systems

Timothy J. O'Leary

A First Course in Discrete Mathematics

John C. Molluzzo

Descartes

Willis Doney

Data structures in Java

Thomas A. Standish

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The Logic Book

Merrie Bergmann