Kim，Byunghan先生（编辑）;约尔格·布伦德尔（编辑）;Lee，Gyesik先生（编辑）;刘芬荣（编辑）;拉马努贾姆，R。（编辑）;沙希·斯利瓦斯塔瓦（Shashi M.Srivastava）。（编辑）;秋田筑波（编辑）;余、梁（编辑） 第14届和第15届亚洲逻辑会议记录，印度孟买，2015年1月5日至8日，韩国大田，2017年7月10日至14日。 （英语） Zbl 1419.03006号 新泽西州哈肯萨克：世界科学（ISBN 978-981-323-754-4/hbk；978-981-3 23-756-8/电子书）。xii，297页。（2019）。MSC公司：03-06 03Bxx号 03Cxx号 03埃克斯 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Kim}（编辑）等人，《第14届和第15届亚洲逻辑会议论文集》，印度孟买，2015年1月5日至8日，韩国大田，2017年7月10日至14日。新泽西州哈肯萨克：世界科学（2019；Zbl 1419.03006） 全文： 内政部
Kim，Hwajeong先生;Lee，Gyesik先生 齐性和拉姆齐数的精化。 （英语） Zbl 1401.05296号 Commun公司。韩国数学。Soc公司。 33，第3期，1001-1011（2018）.MSC公司：10年5月 05元55分 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{H.Kim}和\textit{G.Lee}，Commun。韩国数学。Soc.33，No.3，1001--1011（2018；Zbl 1401.05296） 全文： 链接
雨果·赫伯林;Kim、Sun Young;Lee，Gyesik先生 形式化一阶谓词逻辑的元理论。 （英语） Zbl 1521.03024号 J.韩国数学。Soc公司。 54，第5期，1521-1536（2017）.MSC公司：03B35型 03年10月 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Herberlin}等人，J.韩国数学。Soc.54，No.5，1521--1536（2017；Zbl 1521.03024） 全文： 内政部
塞翁公园;Franz Brauße;皮特·科林斯;Kim、SunYoung;Konečný，迈克尔;Lee，Gyesik先生;诺伯特·米勒;艾克·诺依曼;Preining，诺伯特;马丁·齐格勒 精确实计算的语义、规范逻辑和Hoare逻辑。 arXiv:1608.05787 预印本，arXiv:1608.05787[cs.NA]（2016）。MSC公司：03B70号 65岁99岁 68页 68新元 68季度xx BibTeX公司 引用 \textit{S.Park}等人，“精确实计算的语义、规范逻辑和Hoare逻辑”，预打印，arXiv:1608.05787[cs.NA]（2016） 全文： arXiv公司 OA许可证
Park，琼云;Seo、Jeongbong;Park，成宇;Lee，Gyesik先生 机械化元理论，无需键入上下文。 （英语） Zbl 1332.68203号 J.汽车。推理 52，第2期，215-239（2014）.MSC公司：68吨15 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}等人，J.Autom。推理52，No.2，215--239（2014；Zbl 1332.68203） 全文： 内政部
Lee，Gyesik先生;布鲁诺·C·d·S·奥利维拉。;成坤·赵;Yi，Kwangkeun先生 GMeta：用于一阶表示的通用形式元理论框架。 （英语） Zbl 1352.68063号 Seidl，Helmut（编辑），《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会（ESOP 2012）是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28868-5/pbk）。计算机科学讲义7211436-455（2012）。MSC公司：68纳米30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Lee}等人，Lect。注释计算。科学。7211，436--455（2012；Zbl 1352.68063） 全文： 内政部
Lee，Gyesik先生;本杰明·沃纳 具有表语归纳和判断平等的CC的证明无关模型。 （英语） Zbl 1237.03008号 日志。方法计算。科学。 7，第4号，第5号论文，25页（2011年）.MSC公司：03B15号机组 03B35型 03B40型 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{G.Lee}和\textit{B.Werner}，Log。方法计算。科学。7，第4号，第5号文件，第25页（2011年；Zbl 1237.03008） 全文： 内政部 arXiv公司
洛伦佐·卡卢奇;Lee，Gyesik先生;安德烈亚斯·魏尔曼 超图回归Ramsey数的锐化阈值。 （英语） Zbl 1251.05103号 J.库姆。理论，Ser。一个 118，第2期，558-585（2011）. 审核人：Neal Bushaw（孟菲斯） MSC公司：05元55分 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci}等人，J.Comb。理论，Ser。A 118，No.2，558--585（2011；Zbl 1251.05103） 全文： 内政部
伊利克、丹科;Lee，Gyesik先生;雨果·赫贝林 经典逻辑的克里普克模型。 （英语） Zbl 1225.03009号 Ann.纯粹应用。逻辑 161，第11号，1367-1378（2010）.MSC公司：03年10月 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Ilik}等人，Ann.Pure Appl。逻辑161，No.11，1367--1378（2010；Zbl 1225.03009） 全文： 内政部 arXiv公司
雨果·赫贝林;Lee，Gyesik先生 Gentzen型直觉序列演算的基于强制的删减。 （英语） 兹比尔1246.03072 Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。《人工智能课堂讲稿》，209-217（2009）。MSC公司：05年3月 03B47号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Herbelin}和\textit{G.Lee}，莱克特。注释计算。科学。5514、209--217（2009；Zbl 1246.03072） 全文： 内政部
梅纳赫姆·科杰曼;Lee，Gyesik先生;埃兰·奥姆里;安德烈亚斯·魏尔曼 基本递归数和Ackermannian Ramsey数之间的相变的尖锐阈值。 （英语） Zbl 1194.05159号 J.库姆。理论，Ser。一个 115，第6期，1036-1055（2008）.MSC公司：10年5月 PDF格式BibTeX公司 XML格式引用 \textit{M.Kojman}等人，J.Comb。理论，Ser。A 115，编号6，1036--1055（2008；Zbl 1194.05159） 全文： 内政部