Logical frameworks for truth and abstraction : an axiomatic study
- 種類:
- 図書
- 責任表示:
- Andrea Cantini
- 出版情報:
- Amsterdam ; Tokyo : Elsevier Science B.V., 1996
- 著者名:
- Cantini, Andrea <DA09815397>
- シリーズ名:
- Studies in logic and the foundations of mathematics ; v. 135 <BA00099329>
- ISBN:
- 9780444823069 [0444823069]
- 注記:
- Bibliography: p. [425]-440
Includes index
類似資料:
Harvard University Press |
Prentice-Hall |
Cambridge University Press |
Routledge and Kegan Paul |
North-Holland Pub. Co. |
Clarendon Press, Oxford University Press |
Constable |
Harvard University Press |
Northwestern University Press |
Oxford University Press |
Clarendon Press, Oxford University Press |
K. Paul, Trench, Trubner, Harcourt Brace |