A Practical Logic of Cognitive Systems : The Reach of Abduction: Insight and Trial
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Many-Dimensional Modal Logics: Theory and Applications
A. Kurucz
Download - Immediately Available
Format: eBook (PDF)
The Elements of Advanced Mathematics
Steven G. Krantz
Download - Immediately Available
Format: eBook (PDF)
The Elements of Advanced Mathematics
Steven G. Krantz
Download - Immediately Available
Format: eBook (EPUB)
The Proof is in the Pudding : The Changing Nature of Mathematical Proof
Steven G. Krantz
Download - Immediately Available
Format: eBook (PDF)
Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli
Download - Immediately Available
Format: eBook (PDF)
Handbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz
Download - Immediately Available
Format: eBook (PDF)
A New Perspective on Nonmonotonic Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)