Higher order logic theorem proving and its applications
by Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis
CongressesSymbolic and mathematical LogicAutomatic theorem provingLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library