Non-Standard Logics for Automated Reasoningby Philippe SmetsSymbolic and mathematical LogicLogic, symbolic and mathematicalInformation networksWriting a summary for young readers…For young readersBook data: Open Library
