![](https://www.pdfsearch.io/img/a1c64bffde55fd740707f648359dc9c6.jpg) 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 Website File Size: 280,21 KBShare Document on Facebook
|