Mariko Yasugi
Identifiers
- Open LibraryOL6470383A
Books by Mariko Yasugi
Total count: 4
-
Proceedings of the Sixth Asian Logic ConferenceWorld Scientific Publishing Co Pte Ltd1998-01-01
-
Proceedings of the 7th and 8th Asian Logic Conferences, Hsi-Tou, Taiwan 6 - 10 June 1999, Chongqing, China 29 August - 2 September 2002World Scientific Publishing Co Pte Ltd2003-01-01
-
Memoirs of a Proof TheoristGödel and Other LogiciansWorld Scientific Publishing Co Pte Ltd2003-01-01
-
Proceedings of the 7th and 8th Asian Logic ConferencesWorld Scientific Publishing Co Pte Ltd2004-01-01