載入...
Proofs and computations /
| Main Authors: | , |
|---|---|
| 企業作者: | |
| 格式: | Printed Book |
| 語言: | English |
| 出版: |
Ithaca, NY : Cambridge ; New York :
Association for Symbolic Logic ; Cambridge University Press,
2012.
|
| 叢編: | Perspectives in logic.
|
| 主題: | |
| 在線閱讀: | Table of contents only Contributor biographical information Publisher description |
因特網
Table of contents onlyContributor biographical information
Publisher description
University of Calicut
| 索引號: |
511.352 |
|---|---|
| 復印件 | Live Status Unavailable |