Handbook of Practical Logic and Automated Reasoning

Thinking and Deciding

Jonathan Baron

Reasoning, judging, deciding

Colin Wastell

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Critical thinking

Tracy Bowell

Reasoning for Intelligence Analysts

Noel Hendrickson

Service Logic

Professor Per Skalen

Logic: A Very Short Introduction

Graham (Distinguished Professor of Philosophy at the CUNY Graduate Center) Priest

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

Tamara J. Lakins

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The logic manual

Volker Halbach

Handbook of Information Science

Wolfgang G. Stock

Putting Logic in its Place

David Christensen

Logic

Dan Cryan

Bayesian reasoning and machine learning

David Barber

Digital Systems Principles and Applications

Ronald J. Tocci

Thinking Mathematically

Johnnie Hamilton-Mason

The Logic Book

Merrie Bergmann

Behavioral Mathematics for Game AI

Dave Mark

Formal logic - a guided tour

Herman Ruge Jervell

Knowledge Representation and Reasoning

Ronald J. Brachman

Logic and Computer Design Fundamentals

M. Morris Mano

The Logic of Real Arguments

Alec Fisher

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Deductive Logic

Warren Goldfarb

Clinical Reasoning for Manual Therapists

Mark A. Jones

Logic and Philosophy

Paul Tidman

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Empirical Methods for Artificial Intelligence

Paul R. Cohen

Artificial Intelligence - A Philosophical Introduction

Jack Copeland

Deontic Logic in Computer Science

John-Jules Ch. Meyer

The Language of First-Order Logic

Jon Barwise

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

William Poundstone

Formal Logic

Jeffrey, Richard C.

The Philosophy of Artificial Intelligence

Margaret A. Boden

Modal Logic An Introduction

Brian F. Chellas