Combinatory reduction systems /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Thesis Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Amsterdam :
Mathematisch centrum,
1980.
|
| Saila: | Mathematical Centre tracts
127 |
| Gaiak: |
CARM 1 Store
| Sailkapena: |
A2:AQ13F0 C07726 |
|---|---|
| Alea 1 | Eskuragarri Erreserbatu |