Title: Whitehead's Categoreal Scheme and Other Papers, Author: R.M. Martin
Title: Whitehead Groups of Finite Groups, Author: Robert Oliver
Title: Where Responsibility Takes You: Logics of Agency, Counterfactuals, and Norms, Author: Ilaria Canavotto
Title: Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals, Author: Anna Horská
Title: What? Where? When? Why?: Essays on Induction, Space and Time, Explanation, Author: R. McLaughlin
Title: What is the Genus?, Author: Patrick Popescu-Pampu
Title: What is Negation?, Author: Dov M. Gabbay
Title: Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory, Author: Peter M. Schuster
Title: Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert: Teil I, Author: Felix Klein
Title: Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation, Author: Gerd Wagner
Title: Visualization, Explanation and Reasoning Styles in Mathematics, Author: P. Mancosu
Title: Visual Reasoning with Diagrams, Author: Amirouche Moktefi
Title: Visions of Applied Mathematics: Strategy and Knowledge, Author: Sergio Plata
Title: Verifying Temporal Properties of Systems, Author: J.C. Bradfield
Title: Varying Gravity: Dirac's Legacy in Cosmology and Geophysics, Author: Helge Kragh
Title: Varieties of Constructive Mathematics, Author: Douglas Bridges
Title: V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics, Author: Alex Citkin
Title: Utilizing Problem Structure in Planning: A Local Search Approach, Author: Jörg Hoffmann
Title: Urteilstheorie Vorlesung 1905, Author: Edmund Husserl
Title: Universalizability: A Study in Morals and Metaphysics, Author: W. Rabinowicz

Pagination Links