電子書書目整合查詢結果

總筆數:266

書名作者出版年查看回報錯誤連結
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 查看
回報問題連結
上一頁 第1頁/共18頁/跳至 下一頁