Proofs and computations
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Ithaca, N.Y., Cambridge
Association for Symbolic Logic Cambridge University Press
2012.
|
| Schriftenreihe: | Perspectives in logic.
|
| Schlagworte: | |
| Online Zugang: | Table of contents only |