Programming Language Foundations

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Introduction to Formal Logic

Programming Language Concepts (Paperback)

ACP PROGRAM LOGIC DESIGN

Logic for Computer Scientists

Logic Programming Logic Programming: Proceedings of the 1999 International Conference on Logic Programming (Paperback)

Proofs and Algorithms: An Introduction to Logic and Computability

Just Enough Programming Logic And Design

Digital Logic Design: A Rigorous Approach

Logic for Computer Science and Artificial Intelligence

Logical Forms An Introduction to Philosophical Logic

Pre-Owned Graduate Texts in Computer Science Essentials of Logic Programming Book 1 (Paperback)

The Languages of Logic An Introduction to Formal Logic

The Languages of Logic An Introduction to Formal Logic

Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma Cosim-Cps Opencert Asyde Virtual Even Book 13230 (Paperback)

Introduction to Programming Languages

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Introduction to Logic

Introduction to Programming

Reductive Logic and Proof-search Proof Theory, Semantics, and Control

Java Programs for Programming Logic and Design

Programming Language Fundamentals by Example

Meaning and Argument An Introduction to Logic Through Language

Meaning and Argument An Introduction to Logic Through Language

Pre-Owned Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference Lpar 2003 Almaty Kazakhstan September 22-26 2003 Proceedings (Paperback)

An Introduction to Logic Hardcover

Formal Approaches to Computing and Infor A Theory and Practice of Program Development (Paperback)

An Introduction to Programming With Specifications: A Mathematical Approach

Beginning COBOL for Programmers

Java Programming: A Comprehensive Introduction

Advanced Programming Methodologies

A General Algebraic Semantics for Sentential Logics

Program Logic for the Twenty First Century: A Definitive Guide

2009 Icse Workshop on Software Engineering Foundations for End User Programming (Seeup)

Logic in Computer Science: Modelling and Reasoning about Systems

An Introduction to Description Logic (Paperback)

Practical Foundations for Programming Languages

Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods

A Mathematical Introduction to Logic

A Mathematical Introduction to Logic

ACP A CONCISE INTRO TO LOGIC 12TH MODERN FORMAL LOGIC ED

Essentials of Symbolic Logic

Lectures on Mathematical Logic, Volume II

Starting Out with Programming Logic and Design

Formal Logic : Its Scope and Limits

Handbook of Logic in Artificial Intelligence and Logic Programming Volume 1: Logical Foundations

An Introduction to Mathematical Logic

Introduction to Logic Design