An Introduction to...
Peter B. Andrews
Buy from $93.54
|
Interactive Theorem Proving...
Yves Bertot,
G. Huet (Foreword by)
Buy from $42.77
|
Inconsistent Mathematics
C.E. Mortensen
Buy from $51.65
|
A Textbook of Belief Dynamics...
Sven Ove Hansson
Buy from $159.69
|
The Strange Logic of Random...
Joel Spencer
Buy from $101.37
|
Introduction to Circuit...
Heribert Vollmer
Buy from $79.84
|
Lingua Universalis vs....
Jaakko Hintikka
Buy from $186.16
|
Combinatorics and Graph Theory
John Harris,
Jeffry L. Hirst
Buy from $23.17
eBook from $15.00
|
Abductive Reasoning and...
Dov M. Gabbay (Editor),
Philippe Smets (Editor)
Buy from $186.95
|
Model Theory : An Introduction
David Marker
Buy from $61.00
|
Generalized Measure Theory
Zhenyuan Wang,
George J. Klir
Buy from $51.65
|
Handbook of Tableau Methods
M. D'Agostino (Editor),
Dov M. Gabbay (Editor)
Buy from $206.66
|
Roger Penrose: Collected...
Roger Penrose
Buy from $357.44
|
Boolean Constructions in...
A.G. Pinus
Buy from $93.75
|
Quantified Representation of...
Dov M. Gabbay (Editor),
Philippe Smets (Editor)
Buy from $309.99
|
The Parametric Lambda...
Simona Ronchi Della Rocca,
Luca Paolini
Buy from $51.65
|
A Precis of Mathematical Logic
J.M. Bochenski (Editor),
Otto Bird (Translator)
Buy from $103.32
|
Roger Penrose: Collected...
Roger Penrose
Buy from $224.72
|
Roger Penrose: Collected...
Roger Penrose
Buy from $296.70
|
Roger Penrose: Collected...
Roger Penrose
Buy from $296.70
|
Temporal Logic: From Ancient...
Peter Øhrstrøm,
Per Hasle
Buy from $159.69
|
The Theory of Algorithms
A.A. Markov,
N.M. Nagorny
Buy from $159.69
|
Truth, Proof and Infinity: A...
P. Fletcher
Buy from $187.87
|
The Semantics and Proof...
David J. Pym
Buy from $159.69
|
