| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Logics of variable inclusion / |
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi. |
|
查看
|
回報問題連結 |
| The functional interpretation of logical deduction |
Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay. |
2012 |
查看
|
回報問題連結 |
| Johan van Benthem on logic and information dynamics / |
Alexandru Baltag, Sonja Smets. |
|
查看
|
回報問題連結 |
| Aristotelian assertoric syllogistic :incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic / |
Mohamed A. Amer. |
|
查看
|
回報問題連結 |
| Aristotelian assertoric syllogistic :incorporating the aristotelian Arssertoric syllogistic in the contemporary symbolic logic / |
Mohamed A. Amer. |
|
查看
|
回報問題連結 |
| Dick de jongh on intuitionistic and provability logics / |
Nick Bezhanishvili, Rosalie Iemhoff, Fan Yang. |
|
查看
|
回報問題連結 |
| New essays on Belnap-Dunn logic / |
Hitoshi Omori, Heinrich Wansing. |
|
查看
|
回報問題連結 |
| The logical writings of Karl Popper / |
David Binder, Thomas Piecha, Peter Schroeder-Heister. |
|
查看
|
回報問題連結 |
| Logic in question :talks from the Annual Sorbonne Logic Workshop (2011- 2019) / |
Jean-Yves Beziau, Jean-Pierre Descles, Amirouche Moktefi, Anca Christine Pascu. |
|
查看
|
回報問題連結 |
| Inquisitive logic :consequence and inference in the realm of questions / |
Ivano Ciardelli. |
|
查看
|
回報問題連結 |
| Janusz Czelakowski on logical consequence / |
Jacek Malinowski, Rafal Palczewski. |
|
查看
|
回報問題連結 |
| Knowledge, proof and dynamics :the Fourth Asian Workshop on Philosophical Logic / |
Fenrong Liu, Hiroakira Ono, Junhua Yu. |
|
查看
|
回報問題連結 |
| Saul Kripke on modal logic / |
Yale Weiss, Romina Birman. |
|
查看
|
回報問題連結 |
| Dynamics, uncertainty and reasoning :The Second Chinese Conference on Logic and Argumentation / |
Beishui Liao, Thomas Agotnes, Yi N. Wang. |
|
查看
|
回報問題連結 |
| Handbook of Philosophical Logic |
D.M. Gabbay, F. Guenthner. |
2005 |
查看
|
回報問題連結 |
| Program development in computational logic:a decade of research advances in logic-based program development / |
Maurice Bruynooghe, Kung-Kiu Lau (eds.). |
2004 |
查看
|
回報問題連結 |
|
|
