Gyesik Lee

	2009
6		Gyesik Lee: Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem. CiE 2009: 310-323
5		Hugo Herbelin, Gyesik Lee: Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. WoLLIC 2009: 209-217
4		Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke Models for Classical Logic CoRR abs/0904.0071: (2009)
	2008
3		Menachem Kojman, Gyesik Lee, Eran Omri, Andreas Weiermann: Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers. J. Comb. Theory, Ser. A 115(6): 1036-1055 (2008)
	2007
2		Gyesik Lee: Binary Trees and (Maximal) Order Types. CiE 2007: 465-473
1		Gyesik Lee: A comparison of well-known ordinal notation systems for epsilon0. Ann. Pure Appl. Logic 147(1-2): 48-70 (2007)

Coauthor Index

1	Hugo Herbelin	[4] [5]
2	Danko Ilik	[4]
3	Menachem Kojman	[3]
4	Eran Omri	[3]
5	Andreas Weiermann	[3]

Colors in the list of coauthors