Mathematical Problems from Applied Logic I
by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev

No description available.
Logic, symbolic and mathematicalLogicMathematicsLogic designComputer scienceSymbolic and mathematical LogicMathematical Logic and FoundationsLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematics of Computing