Handbook of Philosophical Logic, Volume 16 |
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2 - Dov M. Gabbay
- Mark A. Reynolds
- Marcelo Finger
|
Greek, Indian and Arabic logic |
Handbook of the history of logic |
Handbook of the History of Logic, Volume 4: British Logic in the Nineteenth Century |
|
Handbook of the History of Logic, Volume 9: Computational Logic |
Mediaeval and renaissance logic |
|
|
Abductive Reasoning and Learning |
Handbook of the History of Logic |
Handbook of logic in artificial intelligence and logic programming Volume 3 - Dov M. Gabbay
- John Alan Robinson
- C.J. Hogger
|
Handbook of the history of logic |
|