|
|
|
|
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
|