Programming Logic & Design, Comprehensive

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory: 47 (Lecture Notes in Logic, Series Number 47)

Programming Languages: Principles and Paradigms

Proof Theory and Logic Programming: Computation as Proof Search

Logic-Based Program Synthesis and Transformation - 9783030988685

Object-Oriented Programming Languages and Event-Driven Programming

C++ Programming

Elementary Logic with Applications: A Procedural Perspective for Computer Scientists: 65 (Logic (Yellow))

Modern C++ Programming with Test–Driven Development

C Programming Language

Logic Programming with Prolog - 9781447154860

Literate Programming (Lecture Notes)

Formal Languages in Logic by Catarina Dutilh Novaes - 9781107020917

Logic For Kids

Programming Language Explorations

R-Calculus, V: Description Logics - 9789819964628

11+ GL 10-Minute Tests: Verbal Reasoning Sequences, Logic & Coding - Ages 10-11 (+ Online Ed): for the 2026 tests (CGP GL 11+ Ages 10-11)

Deductive Logic in Natural Language by Douglas Cannon PAPERBACK 9781551114453

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10855)

Essay on the Principles of Logic: A Defense of Logical Monism

Ada 95 Rationale: The Language - The Standard Libraries: 1247 (Lecture Notes in Computer Science, 1247)

A First Course in Logic