Frontiers of combining systems
by Franz Baader
Symbolic and mathematical LogicCongressesComputer scienceLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library
by Franz Baader
Book data: Open Library