Mathematical Problems from Applied Logic I
Mathematical Problems from Applied Logic I
- New York, NY Springer New York 2006.
Mathematics and Statistics (Springer-11649)
9780387310725, 978-0-387-31072-5
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics
Mathematics of Computing
511.3, / 23
Mathematics and Statistics (Springer-11649)
9780387310725, 978-0-387-31072-5
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Mathematics
Mathematics
Mathematics of Computing
511.3, / 23