Combinators, λ-terms and proof theory.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht :
D. Reidel Publishing Comp.,
1972.
|
| Physical Description: |
184 strán. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Titul je dostupný aj v ... 
| LEADER | 00898nam a22002532i 4500 | ||
|---|---|---|---|
| 001 | 000656327 | ||
| 005 | 20210202184635.0 | ||
| 008 | 210202s1972 nl e 000 0 eng d | ||
| FMT | |||
| 020 | |c Kčs 366,00 |q (viazané) | ||
| 040 | |a SVKKK |b slo |c SVKKK |e rda | ||
| 100 | 1 | |a Stenlund, Sören, |d 1943-2019 |4 aut | |
| 245 | 1 | 0 | |a Combinators, λ-terms and proof theory. |
| 264 | 1 | |a Dordrecht : |b D. Reidel Publishing Comp., |c 1972. | |
| 300 | |a 184 strán. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a bez média |b n |2 rdamedia | ||
| 338 | |a zväzok |b nc |2 rdacarrier | ||
| 500 | |a Záznam revízie | ||
| 910 | |a svkkk | ||
| 998 | |a BK | ||
| OWN | |||
| Z30 | 1 | |l SCK01 |l SCK01 |m BOOK |1 SCKHL |2 SK10 |b Sklad Pribinova 2. posch. |3 III.105536 |6 498870 |q 19740202 |5 2720451435 |8 20210202 |f 70 |s Absenčne |t 00000000 |u 0000 |w 000656327 |x 000010 | |
| 090 | |g SCKHL |k Sklad Pribinova 2. posch. |a III.105536 |j 498870 |i 2720451435 |s Absenčne | ||