Heurist.org | Category: Logic

Discover (Random Books)

The Spanish Prisoner and the Winslow Boy: Two Screenplays

The Spanish Prisoner and the Winslow Boy: Two Screenplays

Political Philosophy: From Plato to Mao

Political Philosophy: From Plato to Mao

Mentaltraining im Ausdauersport: Körperliche Leistungsfähigkeit durch mentales Training erhöhen – für Athleten und Trainer (German Edition)

Mentaltraining im Ausdauersport: Körperliche Leistungsfähigkeit ...

Constantin Doll

Facebook API Developers Guide

Facebook API Developers Guide

Postmodernism: A Very Short Introduction

Postmodernism: A Very Short Introduction

Christopher Butler

Very Short Introductions (1)

Category: Logic

Infinity: A Very Short Introduction

Infinity: A Very Short Introduction

Ian Nicholas Stewart

Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition

Inference on the Low Level: An Investigation Into Deduction, ...

Induction, Algorithmic Learning Theory, and Philosophy

Induction, Algorithmic Learning Theory, and Philosophy

Michèle Friend & Norma B. Goethe & Valentina S. Harizanov

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Ideals, Varieties, and Algorithms: An Introduction to Computational ...

David A. Cox & John Little & Donal O'Shea

Husserl or Frege?: Meaning, Objectivity, and Mathematics

Husserl or Frege?: Meaning, Objectivity, and Mathematics

Claire Ortiz Hill & Guillermo E. Rosado Haddock

How to Solve It: A New Aspect of Mathematical Method

How to Solve It: A New Aspect of Mathematical Method

György Pólya & John H. Conway

How Not to Be Wrong: The Power of Mathematical Thinking

How Not to Be Wrong: The Power of Mathematical Thinking

Jordan Ellenberg

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: Second International ...

Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International ...

Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow

Hegel, Nietzsche, and Philosophy: Thinking Freedom

Hegel, Nietzsche, and Philosophy: Thinking Freedom

Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness

Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, ...

Juliette Kennedy

Gödel '96

Gödel '96

Grundlagen der Computerlinguistik: Mensch-Maschine-Kommunikation in natürlicher Sprache

Grundlagen der Computerlinguistik: Mensch-Maschine-K[..] in ...

Roland R. Hausser

Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, Proceedings

Graph-Based Representation and Reasoning: 26th International ...

Tanya Braun & Marcel Gehrke & Tom Hanika & Nathalie Hernandez

Graph Structures for Knowledge Representation and Reasoning: Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Madalina Croitoru & Sebastian Rudolph & Stefan Woltran & Christophe Gonzales

Graph Structures for Knowledge Representation and Reasoning: Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Madalina Croitoru & Sebastian Rudolph & Nic Wilson & John Howse & Olivier Corby

Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Michael Cochez & Madalina Croitoru & Pierre Marquis & Sebastian Rudolph

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Madalina Croitoru & Pierre Marquis & Sebastian Rudolph & Gem Stapleton

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: ...

Madalina Croitoru & Pierre Marquis & Sebastian Rudolph & Gem Stapleton

Godel's Disjunction: The Scope and Limits of Mathematical Knowledge

Godel's Disjunction: The Scope and Limits of Mathematical Knowledge

Leon Horsten & Philip Welch