|
|
|
|
| LEADER |
00731nam#a2200265#a#4500 |
| 001 |
OEOCON009472 |
| 003 |
OEO |
| 005 |
20170331153641 |
| 008 |
891114s1972 ne |||| ||||||||| ||eng d |
| 020 |
# |
# |
|a 9027703051
|
| 040 |
# |
# |
|a OEO
|b spa
|c OEO
|
| 080 |
# |
# |
|a 519.1=2
|
| 092 |
# |
# |
|c 519.1=2 S825
|
| 100 |
0 |
# |
|a Stenlund, Sören
|
| 245 |
1 |
0 |
|a Combinators, terms and proof theory.
|
| 260 |
# |
# |
|a Dordrecht, Holland :
|b Reidel,
|c 1972c.
|
| 300 |
# |
# |
|a 184 p. ;
|c 22 cm.
|
| 490 |
# |
# |
|a Synthese library
|
| 500 |
# |
# |
|a Bibliografía: p. 177-180.
|
| 653 |
# |
# |
|a análisis combinatorio
|
| 653 |
# |
# |
|a cálculos
|
| 653 |
# |
# |
|a funciones
|
| 907 |
# |
# |
|a Monograf
|
| 952 |
# |
# |
|f J
|g A 0,01
|p OEO31149
|t ej.1
|a OEO
|b OEO
|o 519.1=2 S825
|5 2
|y IMP
|w 19891114
|
| 999 |
# |
# |
|a LOPEZ
|
