|
|
|
|
| LEADER |
00686nam a22001694a 4500 |
| 008 |
140519n ii |||gr||||Z||||||eng |
| 082 |
|
|
|a M22 B
|
| 100 |
|
|
|a Braffort P. and Hirschberg D.
|
| 245 |
1 |
|
|a Computer Programming and Formal Systems
|
| 250 |
|
|
|a 1970.
|
| 260 |
|
|
|a London:
|b North-Holland Publishing Company,
|c 1970.
|
| 300 |
|
|
|a 161p.
|
| 630 |
|
|
|a Statistics, A Basic for a Mathematical Theory of Computation, A Simplified Proof Method for Elementary Logic.
|
| 852 |
|
|
|t 1
|p STA0 5274
|a S- 19 R- 4
|b General
|k M22 B
|f 00000
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 218547
|d 218547
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 M_22_000000000000000_B
|7 0
|9 232689
|a STA
|b STA
|d 2019-12-11
|l 0
|o M22 B
|p STA0 5274
|r 2019-12-11
|t 1
|w 2019-12-11
|y BK
|