Title: Negation, Text Worlds, and Discourse: The Pragmatics of Fiction, Author: Laura Hidalgo Downing
Title: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications / Edition 1, Author: Wolfgang Bibel
Title: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers / Edition 1, Author: Peter Dybjer
Title: Axiomatic Formal Ontology / Edition 1, Author: Uwe Meixner
Title: Wittgenstein and the End of Philosophy: Neither Theory Nor Therapy / Edition 1, Author: D. Hutto
Title: Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings / Edition 1, Author: William McCune
Title: The Craft of Thinking: Logic, Scientific Method and the Pursuit of Truth / Edition 2, Author: Anibal Bueno
Title: The Logic of Biochemical Sequencing / Edition 1, Author: D. Blackman
Title: A Higher-Dimensional Sieve Method: With Procedures for Computing Sieve Functions, Author: Harold G. Diamond
Title: Games, Puzzles, and Computation / Edition 1, Author: Robert A. Hearn
Title: Logic for Applications / Edition 2, Author: Anil Nerode
Title: Understanding Neural Networks and Fuzzy Logic: Basic Concepts and Applications / Edition 1, Author: Stamatios V. Kartalopoulos
Title: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Edition 1, Author: Didier Galmiche
Title: Algebraic Foundations of Many-Valued Reasoning / Edition 1, Author: R.L. Cignoli
Title: Spandrels of Truth, Author: Jc Beall
Title: Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / Edition 1, Author: Jean-Christophe Filliatre
Title: The Covering Property Axiom, CPA: A Combinatorial Core of the Iterated Perfect Set Model, Author: Krzysztof Ciesielski
Title: Philosophy of Mathematics: An Anthology / Edition 1, Author: Dale Jacquette
Title: Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems / Edition 1, Author: Roman Murawski
Title: Are Science And Mathematics Socially Constructed? A Mathematician Encounters Postmodern Interpretations Of Science, Author: Richard C Brown

Pagination Links