Meta-Logics and Logic Programming
by Krzysztof Apt, Franco Turini
Logic programmingLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library
by Krzysztof Apt, Franco Turini
Book data: Open Library