Types and consistency in combinatory algebras /
Tallennettuna:
| OCLC: | 82238082 |
|---|---|
| Päätekijä: | |
| Yhteisötekijä: | |
| Kieli: | English |
| Julkaistu: |
1992.
|
| Aineistotyyppi: | Opinnäyte Monograph Microform Note that CRL will digitize material from the collection when copyright allows. |
| Ulkoasu: | 2 microfiches. |
|---|---|
| Julkaisupaikka: | Switzerland. |