Combinatory reduction systems
Autor principal: | |
---|---|
Formato: | Libro |
Publicado: |
Amsterdam
Mathematisch Centrum
1980.
|
Colección: | Mathematical Centre tracts
127. |
Materias: |
Autor principal: | |
---|---|
Formato: | Libro |
Publicado: |
Amsterdam
Mathematisch Centrum
1980.
|
Colección: | Mathematical Centre tracts
127. |
Materias: |