Proofs and computations
| Huvudupphovsman: | |
|---|---|
| Institutionell upphovsman: | |
| Övriga upphovsmän: | |
| Materialtyp: | Bok |
| Språk: | English |
| Publicerad: |
Ithaca, N.Y., Cambridge
Association for Symbolic Logic Cambridge University Press
2012.
|
| Serie: | Perspectives in logic.
|
| Ämnen: | |
| Länkar: | Table of contents only |