ID:DA00307830
同姓同名の著者を検索
J. B. Paris
Cambridge University Press 1994 Cambridge tracts in theoretical computer science 39
: hard , : pbk.
所蔵館29館
editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers
North-Holland 1986 Studies in logic and the foundations of mathematics v. 120
所蔵館39館