|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
998937 |
| 003 |
ICU |
| 005 |
19950912000000.0 |
| 008 |
891107s1990 nyu 00010 eng u |
| 010 |
|
|
|a 89011540
|
| 020 |
|
|
|a 0387969578 (alk. paper)
|
| 035 |
|
|
|a (ICU)BID12341396
|
| 035 |
|
|
|a (OCoLC)20014580
|
| 040 |
|
|
|a DLC
|c DLC
|d ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a QA9.35
|b .D55 1989
|
| 082 |
0 |
|
|a 511.3
|2 20
|
| 100 |
1 |
|
|a Dijkstra, Edsger W.
|0 http://id.loc.gov/authorities/names/n82078425
|1 http://viaf.org/viaf/17820452
|
| 245 |
1 |
0 |
|a Predicate calculus and program semantics /
|c Edsger W. Dijkstra, Carel S. Scholten.
|
| 260 |
0 |
|
|a New York :
|b Springer-Verlag,
|c c1990.
|
| 300 |
|
|
|a x, 220 p. ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Texts and monographs in computer science
|
| 650 |
|
0 |
|a Predicate calculus
|0 http://id.loc.gov/authorities/subjects/sh85106251
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|x Semantics
|0 http://id.loc.gov/authorities/subjects/sh85107316
|
| 650 |
|
7 |
|a Predicate calculus.
|2 fast
|0 http://id.worldcat.org/fast/fst01075023
|
| 650 |
|
7 |
|a Programming languages (Electronic computers)
|x Semantics.
|2 fast
|0 http://id.worldcat.org/fast/fst01078716
|
| 700 |
1 |
0 |
|a Scholten, Carel S.
|0 http://id.loc.gov/authorities/names/n88157774
|1 http://viaf.org/viaf/3111206
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 68dd7720-bad1-54a9-879e-fa382140b573
|s fc9732f3-680b-52ca-8f97-a7da4be2066b
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.35.D550 1990
|l Eck
|c Eck-Eck
|i 1845178
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.35.D550 1990
|l Eck
|c Eck-Eck
|b 31524926
|i 2233203
|
