A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
Download - Immediately Available
Format: eBook (EPUB)
Philosophical Uses of Categoricity Arguments
Penelope Maddy
Download - Immediately Available
Format: eBook (EPUB)
Philosophical Uses of Categoricity Arguments
Penelope Maddy
Download - Immediately Available
Format: eBook (PDF)
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)
Godel's Incompleteness Theorems
Raymond M. Smullyan
Download - Immediately Available
Format: eBook (EPUB)
Recursion Theory for Metamathematics
Raymond M. Smullyan
Download - Immediately Available
Format: eBook (PDF)
Godel's Incompleteness Theorems
Raymond M. Smullyan
Download - Immediately Available
Format: eBook (PDF)
Dependence Logic : A New Approach to Independence Friendly Logic
Jouko Vaananen
Download - Immediately Available
Format: eBook (PDF)
Theory of Formal Systems. (AM-47), Volume 47
Raymond M. Smullyan
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)
Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
A New Perspective on Nonmonotonic Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)