Mariko Yasugi

Memoirs of a proof theorist

Proceedings of the 7th and 8th Asian Logic Conferences

Proceedings of the 7th and 8th Asian Logic Conferences, Hsi-Tou, Taiwan 6 - 10 June 1999, Chongqing, China 29 August - 2 September 2002

Proceedings of the Sixth Asian Logic Conference