| Record ID | ia:algorithmiclogic0000mirk |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/algorithmiclogic0000mirk/algorithmiclogic0000mirk_marc.xml |
| Download MARC binary | https://www.archive.org/download/algorithmiclogic0000mirk/algorithmiclogic0000mirk_meta.mrc |
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.