Logic, form and functionby J. A. RobinsonForm (Logic)InferencePredicate calculusReasoningWriting a summary for young readers…For young readersBook data: Open Library