|
|
|
|
| LEADER |
00000nam a22000002a 4500 |
| 001 |
SBUV045955 |
| 003 |
UV# |
| 005 |
20170328130715.0 |
| 006 |
a 000 0 |
| 008 |
000628s1984 ne a b 000 0 eng d |
| 999 |
|
|
|c 78640
|d 78640
|
| 020 |
|
|
|a 0444875085
|
| 040 |
|
|
|a DLC
|b spa
|c DLC
|d UV#
|e rda
|
| 050 |
|
4 |
|a QA9.5
|b B37 1984
|
| 082 |
0 |
4 |
|a 511.3
|2 19
|
| 100 |
1 |
|
|a Barendregt, H. P.
|q (Hendrik Pieter)
|
| 245 |
1 |
4 |
|a The lambda calculus
|b : its syntax and semantics
|c / H.P. Barendregt.
|
| 250 |
|
|
|a Rev. ed.
|
| 264 |
|
1 |
|a Amsterdam ;
|b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
|c 1984.
|
| 300 |
|
|
|a xv, 621 páginas :
|b ilustraciones ;
|c 23 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin medio
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics ;
|v v. 103
|
| 504 |
|
|
|a Bibliografía: páginas 585-598.
|
| 590 |
|
|
|a 2a reimpr., 1985: FISMATIN-X.
|
| 650 |
|
4 |
|a Cálculo lambda.
|
| 902 |
|
|
|a DGBUV
|
| 942 |
|
|
|c LIBRO
|2 lcc
|6 _
|
