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: |
Descripción Física: | x, 349 p. ; 23 cm. |
---|---|
Bibliografía: | Incluye bibliografías e índice. |
ISBN: | 0444890009 9780444890009 |