※一部利用できない機能があります
Categorical logic and type theory
- フォーマット:
- 図書
- 責任表示:
- Bart Jacobs
- 言語:
- 英語
- 出版情報:
- Amsterdam : Elsevier Science, 2001, c1999
- 形態:
- xvii, 760 p. : ill. ; 23 cm
- 著者名:
- Jacobs, Bart <DA12072712>
- シリーズ名:
- Studies in logic and the foundations of mathematics ; v. 141 <BA00099329>
- 書誌ID:
- BA53520534
- ISBN:
- 9780444508539 [0444508538] (: pbk)
類似資料:
American Mathematical Society |
Oxford University Press |
American Mathematical Society |
Longman |
D. Reidel Pub. Co. |
Cambridge University Press |
American Mathematical Society |
Springer-Verlag |
Princeton University Press |
Cambridge University Press |
Cambridge University Press |
Birkhäuser |