| Record ID | marc_columbia/Columbia-extract-20221130-002.mrc:55255124:1532 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-002.mrc:55255124:1532?format=raw |
LEADER: 01532cam a2200385 a 4500
001 544260
005 20220525194817.0
008 870319t19871987ne a b 001 0 eng
010 $a 85002201
020 $a9027719284
035 $a(OCoLC)11812440
035 $a(OCoLC)ocm11812440
035 $a(CStRLIN)NYCG87-B24556
035 $9ACJ6689CU
035 $a(NNC)544260
035 $a544260
040 $dNNC
050 00 $aQA267.3$b.M57 1987
082 0 $a511.3$219
090 $aQA267.3$b.M57 1987
100 1 $aMirkowska-Salwicka, Grażyna.$0http://id.loc.gov/authorities/names/n80082113
245 10 $aAlgorithmic logic /$cG. Mirkowska and A. Salwicki.
260 $aDordrecht ;$aBoston :$bD. Reidel Pub. Co. ;$aWarszawa :$bPWN-Polish Scientific Publishers ;$aNorwell, MA, U.S.A. :$bSold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers,$c[1987], ©1987.
300 $axi, 372 pages :$billustrations ;$c23 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
504 $aBibliography: p. [356]-368.
500 $aIncludes index.
500 $aErrata slip tipped in.
650 0 $aFormal languages.$0http://id.loc.gov/authorities/subjects/sh85050802
650 0 $aAlgorithms.$0http://id.loc.gov/authorities/subjects/sh85003487
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
700 1 $aSalwicki, Andrzej.$0http://id.loc.gov/authorities/names/n83165614
852 00 $bmat$hQA267.3$i.M57 1987