Gabbay, Dov M.
Mathematical Problems from Applied Logic I Logics for the XXIst Century / [electronic resource] : edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. - New York, NY : Springer New York, 2006. - digital. - International Mathematical Series, 4 1571-5485 ; . - International Mathematical Series, 4 .
9780387310725
10.1007/0-387-31072-X doi
Mathematics.
Logic.
Logic design.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Logic.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
QA8.9-10.3
511.3
Mathematical Problems from Applied Logic I Logics for the XXIst Century / [electronic resource] : edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. - New York, NY : Springer New York, 2006. - digital. - International Mathematical Series, 4 1571-5485 ; . - International Mathematical Series, 4 .
9780387310725
10.1007/0-387-31072-X doi
Mathematics.
Logic.
Logic design.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Logic.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
QA8.9-10.3
511.3