>> Google Books
所蔵情報QRコード

Introduction to higher order categorical logic / J. Lambek, P.J. Scott

資料種別:
図書
出版情報:
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988, c1986
形態:
x, 293 p. ; 24 cm
シリーズ名:
Cambridge studies in advanced mathematics ; 7 <BA00109761>
著者名:
ISBN:
9780521246651 [0521246652]
9780521356534 [0521356539] (: pbk)
書誌ID:
BA00109670
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック First Order Categorical Logic

Makkai

SpringerLink Books Lecture Notes In Mathematics Archive, Springer Berlin Heidelberg

Mohamed, Otmane Ait, Ait Mohamed, Otmane, Kanade, Takeo, Muñoz, César, Muñoz, César A., Tahar, Sofiène

Springer eBooks Computer Science, Springer Berlin Heidelberg

Joyce, Jeffrey J., Seger, Carl-Johan H.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius

Springer eBooks Computer Science, Springer Berlin Heidelberg

Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

TPHOLs 2005, Hurd, Joe, Kanade, Takeo, Melham, Tom F.

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Heering, J., Meinke, Karl, Möller, Bernhard, Nipkow, Tobias

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

TPHOLs '96, Grundy, Jim, Harrison, John, Wright, Joakim

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Dowek, Gilles, Heering, J., Meinke, Karl, Möller, Bernhard

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

Melham, T. F.

Cambridge University Press Online Books, Cambridge University Press

Schneider, Klaus, Brandt, Jens, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin Heidelberg

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12