|
|
|
|
| LEADER |
00000nam a22000002a 4500 |
| 006 |
a 000 0 |
| 008 |
991123s1972 000 0 eng d |
| 020 |
|
|
|a 9027703051
|
| 035 |
|
|
|a (Sirsi) i9027703051
|
| 040 |
|
|
|a UV#
|b spa
|c UV#
|
| 050 |
|
4 |
|a QA9
|b S83
|
| 082 |
|
4 |
|a 160
|
| 100 |
1 |
|
|a Stenlund, Sören
|
| 245 |
1 |
0 |
|a Combinators, 2-terms and proof theory
|c / Sören Stenlund.
|
| 260 |
|
|
|a Dordrencht, Holland
|b : D. Reidel Publishing,
|c 1972.
|
| 300 |
|
|
|a 184 p.
|c ; 23 cm.
|
| 490 |
0 |
0 |
|a Synthese Library
|
| 504 |
|
|
|a Bibliografía : p. 177-180.
|
| 650 |
|
4 |
|a Teoría de la demostración.
|9 416471
|
| 650 |
|
4 |
|a Lógica simbólica y matemática.
|9 359229
|
| 596 |
|
|
|a 2
|
| 942 |
|
|
|c LIBRO
|6 _
|
| 999 |
|
|
|c 35930
|d 35930
|
