海量图书期刊资源,随时随地畅享阅读乐趣
Representing Model Theory in a Type-Theoretical Logical FrameworkFulya Horozal; Florian Rabe · 2009