Loading...
Proofs and computations /
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Format: | Printed Book |
| Language: | English |
| Published: |
Ithaca, NY : Cambridge ; New York :
Association for Symbolic Logic ; Cambridge University Press,
2012.
|
| Series: | Perspectives in logic.
|
| Subjects: | |
| Online Access: | Table of contents only Contributor biographical information Publisher description |
Internet
Table of contents onlyContributor biographical information
Publisher description
University of Calicut
| Call Number: |
511.352 |
|---|---|
| Copy | Live Status Unavailable |