Programming Language Foundations

Elementary Symbolic Logic

An Introduction to Object-Oriented Programming (Paperback)

An Object-Oriented Approach to Programming Logic and Design

Understanding Symbolic Logic

Mathematical Logic

What Is Mathematical Logic?

Logic for Information Technology

Program Proofs

Program Proofs

self taught programmer the definitive guide to programming professionally

*BNDL SPL CK COMPUTER SCIENCE:STRUCTURED APPROACH USING C++

Pre-Owned Programming with Higher-Order Logic (Hardcover)

An Introduction to the Philosophy of Logic

An Introduction to the Philosophy of Logic

Java An Introduction to Problem Solving and Programming

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

Language, Proof and Logic

forall x: Calgary: An Introduction to Formal Logic

forall x: Calgary: An Introduction to Formal Logic

Applied Logic Formal Aspects of Context Book 20 (Paperback)

A First Course in Mathematical Logic and Set Theory

Pre-Owned Programming Languages and Systems: 11th International Symposium Aplas 2013 Melbourne Vic Australia December 9-11 2013 Proceedings (Paperback)

Programming Abstractions in Java

First-Order Logic

A Type of Programming (Hardcover)

Mathematical Logic A Course with Exercises Part II: Recursion Theory, Gdel's Theorems, Set Theory, Model Theory

Exercises in Programming Style

Exercises in Programming Style

Unifying Theories of Programming (Paperback)

Introduction to Programming Using Visual Basic

concepts techniques and models of computer programming

Lectures on Mathematical Logic

Lecture Notes in Computer Science Programming Languages and Systems: 20th Asian Symposium Aplas 2022 Auckland New Zealand December 5 2022 Proceeding Book 13658 (Paperback)

An Introduction To Object-oriented Programming With Java

Categorial Grammar Logical Syntax, Semantics, and Processing

Elementary Formal Logic

Elementary Formal Logic

Pre-Owned Software Engineering Foundations of Probabilistic Logic Programming: Languages Semantics Inference and Learning (Hardcover)

A Concise Introduction to Logic

Foundations of Logic and Linguistics: Problems and Their Solutions (Paperback)

Programming Logic and Design, Comprehensive

Symbolic Logic: Syntax, Semantics, and Proof

Structure and Design of Programming Languages

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Logic: An Introduction

Introduction to Formal Logic