1. |
Logic and structure / Dirk van Dalen. — 5th ed.
|
2013 |
|
2. |
Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.
|
2008 |
|
3. |
Commonsense reasoning / Erik T. Mueller.
|
2006 |
|
4. |
Logic-based artificial intelligence / edited by Jack Minker.
|
2000 |
|
5. |
Descriptive complexity / Neil Immerman.
|
1999 |
|
6. |
A textbook of belief dynamics : theory change and database updating / by Sven Ove Hansson.
|
1999 |
|
7. |
Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.).
|
1998 |
|
8. |
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. — 2nd ed.
|
1998 |
|
9. |
Essence of logic / John J. Kelly.
|
1997 |
|
10. |
Logic, action, and information : essays on logic in philosophy and artificial intelligence / edited by André Fuhrmann and Hans Rott.
|
1996 |
|
11. |
Applied logic / Kaj Børge Hansen.
|
1996 |
|
12. |
Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
|
1996 |
|
13. |
Logic and its applications / Edmund Burke and Eric Foxley.
|
1996 |
|
14. |
The Imperative future : principles of executable temporal logic / edited by Howard Barringer ... [et al.].
|
1996 |
|
15. |
First-order logic and automated theorem proving / Melvin Fitting. — 2nd ed.
|
1996 |
|
16. |
Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.
|
1995 |
|
17. |
Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek.
|
1995 |
|
18. |
Logic and visual information / Eric M. Hammer.
|
1995 |
|
19. |
The semantic foundations of logic / Richard L. Epstein. — 2nd. edition.
|
1995 |
|
20. |
Language in action : categories, lambdas, and dynamic logic / Johan van Benthem. — 1st MIT Press ed.
|
1995 |
|