Logic

The Road to Modern Logic. An Interpretation

Ferreiros J.

The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, )

Doets K.,van Eijck J.,Mackie I. (Ed)

From logic to art: themes from Nelson Goodman

Gerhard Ernst,Jakob Steinbrenner,Oliver R. Scholz (editors)

Boethius: The Consolations of Music, Logic, Theology, and Philosophy

Henry Chadwick

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)

Peter M. Schuster (editor),Monika Seisenberger (editor),Andreas Weiermann (editor)

The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop

Frank M. Brown

The pyramid principle: logic in writing and thinking

Barbara Minto

The Minto Pyramid Principle: Logic In Writing, Thinking And Problem Solving

Barbara Minto

The Mathematician's Brain: A Personal Tour Through the Essentials of Mathematics and Some of the Great Minds Behind Them

David Ruelle

An Introduction to Fuzzy Logic and Fuzzy Sets

Professor James J. Buckley,Professor Esfandiar Eslami (auth.)

Game of Thrones and Philosophy: Logic Cuts Deeper Than Swords

Henry Jacoby,William Irwin

Term Rewriting and All That

Franz Baader,Tobias Nipkow

Handbook of Model Checking

Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem (eds.)

Algorithmic term rewriting systems

Ariya Isihara.

Logic & the Workings of the Mind: The Logic of Ideas & Faculty Psychology in Early Modern Philosophy (North American Kant Society Studies in Philosophy)

Patricia A. Easton

Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle

F. Stadler

On the Purity of the Art of Logic: The Shorter and the Longer Treatises (Yale Library of Medieval Philosophy Seri)

Walter Burley

Critical thinking, Logic & Problem Solving: The Ultimate Guide to Better Thinking, Systematic Problem Solving and Making Impeccable Decisions with Secret Tips to Detect Logical Fallacies

Bigrocks Thinking

Critical Thinking Beginner's Guide: Learn How Reasoning by Logic Improves Effective Problem Solving. The Tools to Think Smarter, Level up Intuition to Reach Your Potential and Grow Your Mindfulness

Carl Patterson

The Big Typescript, German English Scholars' Edition: TS 213

Ludwig Wittgenstein

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

A Shorter Model Theory

Wilfrid Hodges

The Hidden Logic and Simplicity of the Federal Income Tax Laws

Burlage,L. Charles

Tale of Discrete Mathematics, A: A Journey Through Logic, Reasoning, Structures and Graph Theory

Joseph Khoury

A Concise Introduction to Mathematical Logic

Wolfgang Rautenberg

A Friendly Introduction to Mathematical Logic

Christopher C. Leary

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

Bruno Poizat

An Algebraic Introduction to Mathematical Logic

Donald W. Barnes,John M. Mack (auth.)

Introduction to Mathematical Logic, Volume 1

Alonzo Church

The Mathematics of Logic. A guide to completeness theorems and their applications

Richard W. Kaye

Mathematics of Logic: A Guide to Completeness Theorems and Their Applications

Kaye L.

The foundations of arithmetic;: A logico-mathematical enquiry into the concept of number

Gottlob Frege

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

William Ewald,Wilfried Sieg (auth.),William Ewald,Wilfried Sieg (eds.)

David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933 (David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933) (German and English Edition)

William Ewald (editor),Wilfried Sieg (editor)

Computability and logic

George S. Boolos,John P. Burgess,Richard C. Jeffrey

Prolog Experiments in Discrete Mathematics, Logic, and Computability

Hein J. L.

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

Luigi Acerbi,Alberto Dennunzio,Enrico Formenti (auth.),S. Barry Cooper,Benedikt Löwe,Andrea Sorbi (eds.)

Computability and Logic Boolos

Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

S. Barry Cooper,John K. Truss

Proofs and Algorithms: An Introduction to Logic and Computability

Gilles Dowek (auth.)