ロード中...
Proofs and computations /
| 主要な著者: | , |
|---|---|
| 団体著者: | |
| フォーマット: | 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 |
|---|---|
| 所蔵 | ステータス情報は利用できません |