Analysis and Synthesis of Logics
Analysis and Synthesis of Logics
- Dordrecht Springer Netherlands 2008.
Mathematics and Statistics (Springer-11649)
9781402067822, 978-1-4020-6782-2
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics
511.3, / 23
Mathematics and Statistics (Springer-11649)
9781402067822, 978-1-4020-6782-2
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics
511.3, / 23