Introduction to Programming Logic

Just Enough Programming Logic and Design is a language-independent introduction to programming logic. Just Enough consists of seven chapters that cover the fundamentals of programming logic–introductory concepts, structure, decision-making, looping, array manipulation, calling methods, and an introduction to object-oriented programming.

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs.