Introduction to higher order categorical logic /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | inglês |
| Publicado em: |
Cambridge :
Univ. Pr,
1994.
|
| Assuntos: | |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| Descrição Física: | x, 293p.; 23cm. |
|---|---|
| Bibliografia: | Includes Index. |
| ISBN: | 0521356539 |