|
|
|
|
| LEADER |
00997nam a2200301 4500 |
| 001 |
c000141113 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
721221s1972 ne b 00000 eng |
| 015 |
|
|
|a Ne***
|
| 019 |
1 |
|
|a 588025
|5 LACONCORD2021
|
| 020 |
|
|
|a 9027703051
|
| 035 |
|
|
|a (OCoLC)589103
|5 LACONCORD2021
|
| 050 |
0 |
0 |
|a QA9
|b .S753
|
| 100 |
1 |
|
|a Stenlund, Soren.
|
| 245 |
1 |
0 |
|a Combinators, -terms and proof theory.
|
| 260 |
|
|
|a Dordrecht,
|b D. Reidel
|c [1972]
|
| 300 |
|
|
|a 184 p.
|c 23 cm.
|
| 490 |
0 |
|
|a Synthese library
|
| 500 |
|
|
|a Extra t.p. with thesis statement inserted.
|
| 502 |
|
|
|a Akademisk avhandling--Uppsala.
|
| 504 |
|
|
|a Bibliography: p. 177-180.
|
| 650 |
|
0 |
|a Proof theory.
|
| 650 |
|
0 |
|a Combinatory logic.
|
| 852 |
8 |
|
|b CARM
|h A2:AD08A0
|i B00466
|p 0023930
|f BK
|
| 082 |
0 |
4 |
|a 511/.3
|
| 999 |
f |
f |
|i 658130fb-9551-5c72-bae5-fb6e1fcb8aeb
|s 851a448a-e5fb-5b74-b282-f9c8f16ce805
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B00466
|f A2:AD08A0
|h Other scheme
|i book
|m 0023930
|