Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)

出版社: Cambridge University Press(1988-03-25)

ペーパーバック: 304 ページ / 15.9 x 1.9 x 22.9 cm

ISBN-10: 0521356539  ISBN-13: 9780521356534