| Record ID | marc_loc_2016/BooksAll.2016.part16.utf8:77152431:865 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part16.utf8:77152431:865?format=raw |
LEADER: 00865pam a2200241 a 4500
001 85002201
003 DLC
005 19880302000000.0
008 850227s1987 ne a b 00110 eng
010 $a 85002201
020 $a9027719284
050 0 $aQA267.3$b.M57 1987
082 0 $a511.3$219
100 20 $aMirkowska-Salwicka, Grażyna.
245 10 $aAlgorithmic logic /$cG. Mirkowska and A. Salwicki.
260 0 $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,$cc1987.
300 $axi, 372 p. :$bill. ;$c23 cm.
504 $aBibliography: p. [356]-368.
500 $aIncludes index.
650 0 $aFormal languages.
650 0 $aAlgorithms.
650 0 $aLogic, Symbolic and mathematical.
700 10 $aSalwicki, Andrzej.