Foundations without Foundationalism : A Case for Second-Order Logic
Stewart Shapiro
Download - Immediately Available
Format: eBook (PDF)
Philosophy of Mathematics : Structure and Ontology
Stewart Shapiro
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)
Neural-Symbolic Cognitive Reasoning
Artur S. D'Avila Garcez
Download - Immediately Available
Format: eBook (PDF)
A New Perspective on Nonmonotonic Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Logical Tools for Handling Change in Agent-Based Systems
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Conditionals and Modularity in General Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Semantical Investigations in Heyting's Intuitionistic Logic
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)