Introduction to higher order categorical logic ＜Cambridge studies in advanced mathematics＞

書籍データ

著者名：J. Lambek, P.J. Scott他の作品を見る

出版社：Cambridge University Press

発売日：1988, c1986

x, 293 p. 24 cm

ISBN： 0521356539