Cargando…

Language in action : categories, lambdas, and dynamic logic /

Detalles Bibliográficos
Autor principal: Benthem, Johan van, 1949-
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
Descripción Física:x, 349 p. ; 23 cm.
Bibliografía:Incluye bibliografías e índice.
ISBN:0444890009
9780444890009