Loading...
Proofs and computations /
| Main Authors: | , |
|---|---|
| Institution som forfatter: | |
| Format: | Printed Book |
| Sprog: | English |
| Udgivet: |
Ithaca, NY : Cambridge ; New York :
Association for Symbolic Logic ; Cambridge University Press,
2012.
|
| Serier: | Perspectives in logic.
|
| Fag: | |
| Online adgang: | Table of contents only Contributor biographical information Publisher description |
| Fysisk beskrivelse: | xiii, 465 p. : ill. ; 24 cm. |
|---|---|
| Bibliografi: | Includes bibliographical references (p. 431-455) and index. |
| ISBN: | 9780521517690 0521517699 |