ID:DA03255008
Taylor, P
同姓同名の著者を検索
Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Cambridge University Press 1989 Cambridge tracts in theoretical computer science 7
所蔵館49館