| Record ID | marc_loc_2016/BooksAll.2016.part18.utf8:164156305:760 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part18.utf8:164156305:760?format=raw |
LEADER: 00760cam a2200241 a 4500
001 88019222
003 DLC
005 19900831110242.9
008 880531s1988 ne b 00110 eng
010 $a 88019222 //r90
020 $a9027727856
040 $aDLC$cDLC$dDLC
050 00 $aQA9$b.W746 1988
082 00 $a511/.3$219
100 10 $aWójcicki, Ryszard.
245 10 $aTheory of logical calculi :$bbasic theory of consequence operations /$cRyszard Wójcicki.
260 0 $aDordrecht ;$aBoston :$bKluwer Academic Publishers,$cc1988.
300 $axviii, 473 p. ;$c23 cm.
440 0 $aSynthese library ;$vv. 199
504 $aBibliography: p. 437-458.
500 $aIncludes indexes.
650 0 $aLogic, Symbolic and mathematical.
740 01 $aLogical calculi.