Cargando…
Language in action : categories, lambdas, and dynamic logic /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Amsterdam ; New York : New York, N.Y., U.S.A. :
North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
1991.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v130 |
| Materias: |