Sam StatonBooksLanguage, Logic, and ComputationLogical Frameworks and Meta-LanguagesAuthor data: Open Library