Gabbay, Dov M.
Mathematical Problems from Applied Logic II Logics for the XXIst Century / [electronic resource] : edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. - New York, NY : Springer New York, 2007. - digital. - International Mathematical Series, 5 1571-5485 ; . - International Mathematical Series, 5 .
9780387692456
10.1007/978-0-387-69245-6 doi
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
Mathematical Problems from Applied Logic II Logics for the XXIst Century / [electronic resource] : edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. - New York, NY : Springer New York, 2007. - digital. - International Mathematical Series, 5 1571-5485 ; . - International Mathematical Series, 5 .
9780387692456
10.1007/978-0-387-69245-6 doi
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3