Object language
Top View
- Mechanizing Metatheory in a Logical Framework
- Arxiv:1910.10703V3 [Cs.LO] 30 Mar 2020 Stesfwr Htcek T O a Ebosrptuti O in Trust Bootstrap System We a Can Such How in It
- Metamath.Pdf
- Non-Classical Metatheory for Non-Classical Logics
- Models for Metamath
- A Concise Introduction to Mathematical Logic
- Beyond the Axioms: the Question of Objectivity in Mathematics
- Lectures on the Foundations of Mathematics
- Interpretations, Soundness, and Completeness for Predicate Logic 15-1
- The Foundations of Linguistics : Mathematics, Models, and Structures
- Wittgenstein's Conjecture
- Ditransitive Constructions in Halkomelem Salish: a Direct Object/Oblique Object Language Donna B. Gerdts
- The Road from Leibniz to Turing, Part II
- Deep, Seamless, Multi-Format, Multi-Notation Definition and Use of Domain-Specific Languages
- 6 Logical Metatheory for Propositional Modal Logic
- Mathematical Logic II
- Logic, Language, and Calculus
- From Computation to the Phenomenon of Language Löfgren, Lars