Screen LibraryProofs and computations
Saved in:
| Main Authors: | |
|---|---|
| Corporate Authors: | |
| Group Author: | |
| Published: |
Association for Symbolic Logic Cambridge University Press,
|
| Publisher Address: | Ithaca, NY Cambridge |
| Publication Dates: | 2012. |
| Literature type: | Book |
| Language: | English |
| Series: |
Perspectives in logic |
| Subjects: | |
| Carrier Form: | xiii, 465 p.: ill. ; 24 cm. |
| ISBN: |
9780521517690 0521517699 |
| Index Number: | O141 |
| CLC: | O141.3 |
| Call Number: | O141.3/S415 |
| Contents: | Includes bibliographical references (p. 431-455) and index. |