| 000 | 01264cam a2200349 i 4500 | ||
|---|---|---|---|
| 001 | xx001315744 | ||
| 003 | NUKAT | ||
| 005 | 20251228161538.0 | ||
| 008 | 090323s1990 gw a f |000 0 eng c | ||
| 020 | _a3540528490 | ||
| 020 | _a0387528490 | ||
| 035 | _a(OCoLC)751241985 | ||
| 040 |
_aKR U/27MB _cKR U/27MB _dKR U/27MBs _dTOR U/WS |
||
| 100 | 1 |
_aVan Gasteren, Antonetta J. M. _d(1952- ). _984068 |
|
| 245 | 1 | 0 |
_aOn the shape of mathematical arguments / _cA. J. M. van Gasteren ; forew. by Edsger W. Dijkstra. |
| 260 |
_aBerlin : _bSpringer, _c1990. |
||
| 300 |
_aVIII, 180 s. : _bil. ; _c25 cm. |
||
| 336 | _aTekst | ||
| 337 | _aBez urządzenia pośredniczącego | ||
| 338 | _aWolumin | ||
| 490 | 1 |
_aLecture Notes in Computer Science ; _v445 |
|
| 504 | _aBibliogr. s. 178-180. | ||
| 530 | _aDostępne również w formie elektronicznej. | ||
| 650 | 7 |
_aTeoria dowodu. _2kaba _928026 |
|
| 700 | 1 |
_aDijkstra, Edsger Wybe _d(1930-2002). _ePrzedm. _912141 |
|
| 830 | 0 |
_aLecture Notes in Computer Science _x0302-9743 _v445 _924125 |
|
| 856 | 4 | 1 |
_uhttps://www.infona.pl/resource/isbn/9783540528494 _zLicencja krajowa |
| 920 | _a3-540-52849-0 | ||
| 920 | _a0-387-52849-0 | ||
| 999 |
_c63916 _d63916 |
||