Higher Order Logic Theorem Proving and Its Applicationsby E. Thomas Schubert, Phillip J. Windley, James Alves-FossWriting a summary for young readers…For young readersBook data: Open Library