Mariko Yasugi profile picture

Mariko Yasugi

Is this your author profile? Create an account to customize it!

Stand Alone

Memoirs of a proof theorist
Proceedings Of The Sixth Asian Logic Conference
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 7th And 8th Asian Logic Conferences
Proceedings Of The Sixth Asian Logic Conference