تحميل...
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 |
| وصف مادي: | xiii, 465 p. : ill. ; 24 cm. |
|---|---|
| بيبلوغرافيا: | Includes bibliographical references (p. 431-455) and index. |
| ردمك: | 9780521517690 0521517699 |