Title: Writing Logically, Thinking Critically / Edition 8, Author: Sheila Cooper
Title: Wittgenstein's Philosophy of Mathematics / Edition 1, Author: V.H. Klenk
Title: Wise Choices, Apt Feelings: A Theory of Normative Judgment, Author: Allan Gibbard
Title: Whitehead Groups of Finite Groups, Author: Robert Oliver
Title: Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation / Edition 1, Author: Gerd Wagner
Title: Visualization, Explanation and Reasoning Styles in Mathematics / Edition 1, Author: P. Mancosu
Title: Visual Thinking in Mathematics, Author: Marcus Giaquinto
Title: Varieties of Constructive Mathematics, Author: Douglas Bridges
Title: Utilizing Problem Structure in Planning: A Local Search Approach / Edition 1, Author: Jörg Hoffmann
Title: Understanding Principia and Tractatus: Russell and Wittgenstein Revisited, Author: A. P. Rao
Title: Understanding Neural Networks and Fuzzy Logic: Basic Concepts and Applications / Edition 1, Author: Stamatios V. Kartalopoulos
Title: Understanding Computers' Intelligence: Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa, Author: D. Niwinski
Title: Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach / Edition 1, Author: Bilal M. Ayyub
Title: Uncertain Logics, Variables and Systems / Edition 1, Author: Z. Bubnicki
Title: Uncertain Inference / Edition 1, Author: Henry E. Kyburg
Title: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / Edition 1, Author: Thorsten Altenkirch
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: Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Edition 1, Author: Stefano Berardi
Title: Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers / Edition 1, Author: Stefano Berardi
Title: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers / Edition 1, Author: Peter Dybjer

Pagination Links