Mathematical Logic for Computer Science

Mathematics for Computer Scientists: A Practice-Oriented Approach

A Course on Mathematical Logic

Methods and Applications of Mathematical Logic

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

Synthese Library Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic Book 4 (Hardcover)

Proof and Disproof in Formal Logic An Introduction for Programmers

Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024

Well-structured Mathematical Logic

Bundle: A Concise Introduction to Logic (with CourseCard), 11th + Philosophy CourseMate with eBook Printed Access Card

Bundle: Programming Logic And Design, Introductory, 5/E

Proofs: A Long-Form Mathematics Textbook (The Long

The Logic Manual

Computer-Aided Verification '90

Arithmetic and Logic in Computer Systems

Lectures on Mathematical Logic

Pre-Owned Introduction to Mathematical Logic (Extended Edition) (Paperback)

The Constitution of Algorithms Ground-Truthing, Programming, Formulating

First Order-Logic: An Introduction (Paperback)

Category Theory and Computer Science - (Lecture Notes in Computer Science) by David H Pitt & Axel Poigne & David E Rydeheard (Paperback)

Introduction to Symbolic Logic and Its Applications

Introduction to Logic

Logic: The Theory of Formal Inference

Pre-Owned Logic Programming with PROLOG (Paperback)

Programming With Mathematica

mathematical notation a guide for engineers and scientists

fundamentals of logic design

Microcomputers and Mathematics

Advanced Engineering Mathematics

Logic Programming: 25th International Conference Iclp 2009 Pasadena Ca Usa July 14-17 2009 Proceedings (Paperback)

Pre-Owned The Springer International Engineering and Computer Science: Reasoning with Complex Cases (Hardcover)

Mathematical Modeling and Applied Calculus

Mathematical Modeling and Applied Calculus

Mathematical Modeling and Applied Calculus

Finite Mathematics : An Applied Approach 10th Edition Binder Ready Version with Student Solutions Manual Set

Syllogistic Logic and Mathematical Proof

Methods of Applied Mathematics With a Software Overview

Applied Logic Proof Theory and Automated Deduction Book 6 (Paperback)

Optimization Methods for Logical Inference

Logic and Discrete Mathematics A Concise Introduction

Synthese Library A Precis of Mathematical Logic Book 1 (Paperback)

PACKAGE: INTRODUCTION TO LOGIC

What Is Mathematical Logic?

Logic and Boolean Algebra

The Times Kakuro Book 1 200 mathematical logic puz

Advanced Topics in Applied Mathematics

Advanced Topics in Applied Mathematics

Advanced Topics in Applied Mathematics

Lecture Notes in Computer Science Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning Ruleml+rr 2022 Berlin Germany Septemb Book 13752 (Paperback)