Skip to content
Book Glossary
Cover of Logical frameworks

Logical frameworks

by G. Plotkin

LogicFrames (Information theory)Automatic theorem provingSymbolic and mathematical LogicLogic programmingCongressesComputer science
Writing a summary for young readers…

For young readers

Book data: Open Library