First Page | Document Content | |
---|---|---|
Date: 2018-03-08 05:11:17 | J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typAdd to Reading ListSource URL: formal.hknu.ac.krDownload Document from Source WebsiteFile Size: 280,21 KBShare Document on Facebook |