Labelled deduction
by David Basin, Various
Modality (Logic)Mathematical And Symbolic LogicPhilosophy Of MathematicsPhilosophyMathematicsArtificial Intelligence - GeneralLogicComputers : Artificial Intelligence - General
Writing a summary for young readers…
For young readers
Book data: Open Library