Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 /

Alan Turing's systems of logic : the Princeton thesis /

Logic, Automata, and Computational Complexity : the Works of Stephen A. Cook /

Advances in linear logic /

Symbolic computation and education /

Logics and languages for reliability and security /

The logic of knowledge bases /

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /

Essentials of computing systems

Logic of the digital /

Fuzzy logic for embedded systems applications /

Constructibility and mathematical existence /

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /

The theory of splines and their applications /

Intermediate logic /

Logic of Discovery and Diagnosis in Medicine

Logic of Discovery and Diagnosis in Medicine.

Logic of Discovery and Diagnosis in Medicine.

Fundamental concepts in computer science /

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /

Fundamental concepts in computer science /

Computing tomorrow : future research directions in computer science /

My Revision Notes AQA A-Level Computer Science.

Handbook of logic in computer science.

Advances in interdisciplinary applied discrete mathematics /

Computer science research and technology /

Advanced Topics in Bisimulation and Coinduction.

Applied data visualization with R and ggplot2 : Create useful, elaborate, and visually appealing plots /

Horizons in computer science research.

The mathematics of harmony : from Euclid to contemporary mathematics and computer science /

Computer science research and technology.

Relational mathematics /

Advanced research on material science, environmental science and computer science : selected, peer reviewed papers from the 2012 2nd International Conference on Material Science, Environmental Science and Computer Science (MSESCS2012) August 25-26, 2012, Wuhan, China /

Practical cyber intelligence : how action-based intelligence can be an effective response to incidents /

Computing and the National Science Foundation, 1950-2016.

What can be computed? : a practical guide to the theory of computation /

Knowledge and computing : a course on computer epistemology /

Daigaku ni okeru ippan jōhō kyōiku /

Professionals and Careers in Computer Science and Technology.

Infinity and truth /

Formalism and beyond : on the nature of mathematical discourse /

Purity, spectra and localisation /

Grammatical inference : learning automata and grammars /

Handbook of logic in computer science.

An introduction to non-classical logic : from if to is /

The arrow and the point : Russell and Wittgenstein's Tractatus /

Coding the universe /

Foundations without foundationalism : a case for second-order logic /

Set theory and its logic /

The logic of knowledge bases /

Frege : importance and legacy /

Advances in linear logic /

Phenomenology, logic, and the philosophy of mathematics /

Tractatus logico-philosophicus /

Logisch-philosophische Abhandlung Der Tractatus in Baumform.

Principles of truth /

Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 /

Mathematical logic /

Diamond : a paradox logic /

Handbook of logic in computer science.

Handbook of logic in computer science.

The functional interpretation of logical deduction /