ID:DA19573421
同姓同名の著者を検索
Henk Barendregt, Wil Dekkers, Richard Statman
Association for Symbolic Logic , Cambridge University Press 2013 Perspectives in logic
所蔵館18館
