Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Record details
- ISBN: 9781402067822
- Physical Description: online resource.
- Publisher: Dordrecht : Springer Netherlands, 2008.
Search for related items by subject
Subject: | Mathematics. Logic. Computer science. Logic, Symbolic and mathematical. Mathematics. Mathematical Logic and Foundations. Logic. Mathematical Logic and Formal Languages. |