| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Johan van Benthem on logic and information dynamics / |
Alexandru Baltag, Sonja Smets. |
|
查看
|
回報問題連結 |
| Knowledge, proof and dynamics :the Fourth Asian Workshop on Philosophical Logic / |
Fenrong Liu, Hiroakira Ono, Junhua Yu. |
|
查看
|
回報問題連結 |
| Knowledge, proof and dynamics :the Fourth Asian Workshop on Philosophical Logic / |
Fenrong Liu, Hiroakira Ono, Junhua Yu. |
|
查看
|
回報問題連結 |
| Handbook of Philosophical Logic |
D.M. Gabbay, F. Guenthner. |
2005 |
查看
|
回報問題連結 |
| Between logic and reality:modeling inference, action and understanding / |
Majda Trobok, Nenad Miscevic, Berislav Zarnic. |
2012 |
查看
|
回報問題連結 |
| Dynamics, uncertainty and reasoning :The Second Chinese Conference on Logic and Argumentation / |
Beishui Liao, Thomas Agotnes, Yi N. Wang. |
|
查看
|
回報問題連結 |
| Constructive Negations and Paraconsistency |
Sergei P. Odintsov. |
2008 |
查看
|
回報問題連結 |
| Toward predicate approaches to modality |
Johannes Stern. |
2016 |
查看
|
回報問題連結 |
| Recent trends in philosophical logic / |
Roberto Ciuni, Heinrich Wansing, Caroline Willkommen. |
|
查看
|
回報問題連結 |
| Dual tableaux:foundations, methodology, case studies / |
Ewa Orlowska, Joanna Golinska Pilarek. |
2011 |
查看
|
回報問題連結 |
| Advances in natural deduction ::a celebration in Dag Prawitz's work / |
Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva. |
|
查看
|
回報問題連結 |
| Advances in proof-theoretic semantics |
Thomas Piecha, Peter Schroeder-Heister. |
2016 |
查看
|
回報問題連結 |
| Philosophical logic :current trends in Asia : proceedings of AWPL-TPLC 2016 / |
Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono. |
|
查看
|
回報問題連結 |
| Rohit Parikh on logic, language and society |
Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam. |
2017 |
查看
|
回報問題連結 |
| Paraconsistent logic:consistency, contradiction and negation / |
Walter Carnielli, Marcelo Esteban Coniglio. |
2016 |
查看
|
回報問題連結 |
| Modern logic 1850-1950, East and West |
Francine F. Abeles, Mark E. Fuller. |
2016 |
查看
|
回報問題連結 |
|
|
