| Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics 2 reviews |
José Ferreirós |
Akihiro Kanamori |
2001-06-00 |
| In the Light of Logic 3 reviews |
Solomon Feferman |
G. Aldo Antonelli |
2001-06-00 |
| Basic Proof Theory |
A. S. Troelstra |
Roy Dyckhoff |
2001-06-00 |
| The Universal Computer. The Road from Leibniz to Turing |
Martin Davis |
John W. Dawson |
2001-03-00 |
| The Power of Logic |
C. Stephen Layman |
Chris Swoyer |
2001-03-00 |
| Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer: Volume 1: The Dawning Revolution 3 reviews |
Dirk Van Dalen |
Jan Von Plato |
2001-03-00 |
| Logic, Logic and Logic 6 reviews |
George Boolos |
Vann McGee |
2001-03-00 |
| Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics |
Yu. L. Ershov |
John N. Crossley |
2001-03-00 |
| Handbook of Recursive Mathematics. Volume 1, Recursive Model Theory |
Yu. L. Ershov |
Bakhadyr Khoussainov |
2001-03-00 |
| Classical Recursion Theory |
P. G. Odifreddi |
Peter G. Hinman |
2001-03-00 |
| Nonmonotonic Reasoning 2 reviews |
Grigoris Antoniou |
Marek A Suchenek |
2000-12-01 |
| Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3 Nonmonotonic Reasoning and Uncertain Reasoning |
Dov M Gabbay |
G Aldo Antonelli |
2000-12-01 |
| Multi-Dimensional Modal Logic (Applied Logic Series, Volume 4) 2 reviews |
Maarten Marx |
Dimiter Vakarelov |
2000-12-01 |
| Metamathematics of Fuzzy Logic 2 reviews |
Petr Hájek |
Francis Jeffry Pelletier |
2000-09-01 |
| Super-Real Fields: Totally Ordered Fields with Additional Structure |
H Garth Dales |
M Dickmann |
2000-06-01 |
| Categorical Logic and Type Theory |
Bart Jacobs |
R A G Seely |
2000-06-01 |
| Defeasible Deontic Logic 2 reviews |
Donald Nute |
Wiebe Van der Hoek |
2000-03-01 |
