|
|
|
|
| LEADER |
00655naa a22002292 4500 |
| 001 |
KEI00061150 |
| 005 |
20230711085030.0 |
| 008 |
120801s1985 xx ||||| 00| ||ger c |
| 100 |
|
|
|a Dijkstra, M.
|4 aut
|e VerfasserIn
|
| 245 |
|
|
|a KTU 1.6 (= СТА 6).III.l ff. and the So-Called Zeichenbeweis (Proof by a Token)
|
| 264 |
|
|
|c 1985
|
| 773 |
1 |
8 |
|a VT
|
| 936 |
u |
w |
|d 35
|h 105-109
|j 1985
|
| BIB |
|
|
|a Dijkstra1985
|
| BIT |
|
|
|a article
|
| HRW |
|
|
|a 0
|
| KEI |
|
|
|b 446
|
| RAW |
|
|
|a Dijkstra, M., KTU 1.6 (= СТА 6).III.l ff. and the So-Called Zeichenbeweis (Proof by a Token): VT 35 (1985) 105-109.
|
| STA |
|
|
|a OK
|
| UID |
|
|
|a 61150
|
| USR |
|
|
|a 7
|
| VOL |
|
|
|a 47
|