
Mathematical Problems from Applied Logic I
by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
Logic, symbolic and mathematicalLogicMathematicsLogic designComputer scienceSymbolic and mathematical LogicMathematical Logic and FoundationsLogics and Meanings of Programs
Writing a summary for young readers…
For young readers
Book data: Open Library