Combinatory reduction systems
Auteur principal: | |
---|---|
Format: | Livre |
Publié: |
Amsterdam
Mathematisch Centrum
1980.
|
Collection: | Mathematical Centre tracts
127. |
Sujets: |
Auteur principal: | |
---|---|
Format: | Livre |
Publié: |
Amsterdam
Mathematisch Centrum
1980.
|
Collection: | Mathematical Centre tracts
127. |
Sujets: |