Skip to content

Mathematical Problems from Applied Logic I

by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev

Cover of Mathematical Problems from Applied Logic I

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