Categorical logic and type theory
- 種類:
- 図書
- 責任表示:
- Bart Jacobs
- 出版情報:
- Amsterdam : Elsevier Science, c1999
- 著者名:
- Jacobs, Bart
- シリーズ名:
- Studies in logic and the foundations of mathematics ; v. 141 <BA00099329>
- ISBN:
- 9780444501707 [0444501703]
- 注記:
- Includes bibliographical references (p. 717-733) and indexes
類似資料:
North-Holland |
American Mathematical Society |
American Mathematical Society | |
Cambridge University Press |
Cambridge University Press |
Kluwer Academic | |
Springer |