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:

MARC

LEADER 00000cam a2200000Ia 4500
001 ocm22957146
003 OCoLC
005 20221130093052.0
008 040827s1991 ne b 001 0 eng d
020 |a 0444890009 
020 |a 9780444890009 
040 |a DLC  |b eng  |c DLC  |d UV# 
050 0 4 |a P39  |b B46 
082 4 |a 415/.01  |2 20 
100 1 |9 394362  |a Benthem, Johan van,  |d 1949- 
245 1 0 |a Language in action :  |b categories, lambdas, and dynamic logic /  |c Johan van Benthem. 
260 |a Amsterdam ;  |a New York :  |b North-Holland ;  |a  New York, N.Y., U.S.A. :  |b Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,  |c 1991. 
300 |a x, 349 p. ;  |c 23 cm. 
490 0 |a Studies in logic and the foundations of mathematics ;  |v v130 
504 |a Incluye bibliografías e índice. 
650 4 |a Lenguaje y lógica. 
650 4 |a Categoría gramatical. 
650 4 |a Calculo lambda. 
650 4 |a Lógica matemática. 
650 7 |a Lingüística matemática  |9 360114 
901 |a ZO  |b UV# 
942 |c LIBRO 
999 |c 171268  |d 171268