| Logic, Logic, and Logic George Boolos Richard Jeffrey |
George Boolos |
Vann McGee |
2001-03-00 |
| Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics Yu. L. Ershov S. S. Goncharov A. Nerode J. B. Remmel V. W. Marek |
Yu. L. Ershov |
John N. Crossley |
2001-03-00 |
| Handbook of Recursive Mathematics. Volume 1, Recursive Model Theory Yu. L. Ershov S. S. Goncharov A. Nerode J. B. Remmel V. W. Marek |
Yu. L. Ershov |
Bakhadyr Khoussainov |
2001-03-00 |
| Classical Recursion Theory |
P. G. Odifreddi |
Peter G. Hinman |
2001-03-00 |
| Nonmonotonic Reasoning |
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) |
Maarten Marx |
Dimiter Vakarelov |
2000-12-01 |
| Metamathematics of Fuzzy Logic |
Petr Hájek |
Franco Montagna |
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 |
Donald Nute |
Wiebe Van der Hoek |
2000-03-01 |
