Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
Mathematical Problems from Applied Logic I - 2006 - Springer New York 2006 - International Mathematical Series .
9780387310725
Mathematics and Statistics
Mathematical Problems from Applied Logic I - 2006 - Springer New York 2006 - International Mathematical Series .
9780387310725
Mathematics and Statistics