|
|
Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
| 1. | Logic, logic, and logic / George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey. | 1998 |
|
| 2. | An essay on contraction / André Fuhrmann. | 1997 |
|
| 3. | Nonmonotonic reasoning : an overview / Gerhard Brewka, Jürgen Dix, and Kurt Konolige. | 1997 |
|
| 4. | Solving the frame problem : a mathematical investigation of the common sense law of inertia / Murray Shanahan. | 1997 |
|
| 5. | Applied logic / Kaj Børge Hansen. | 1996 |
|
| 6. | Exploring logical dynamics / Johan van Benthem. | 1996 |
|
| 7. | Conditionals : from philosophy to computer science / edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig. | 1995 |
|
| 8. | The semantic foundations of logic / Richard L. Epstein. — 2nd. edition. | 1995 |
|
| 9. | The phenomenon of commonsense reasoning : nonmonotonicity, action, and information / Dimitrios Thanassas. | 1992 |
|
| 10. | An introduction to default logic / Philippe Besnard. | 1989 |
|
| 11. | Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner. | 1983 |
|