| Record ID | marc_loc_2016/BooksAll.2016.part21.utf8:207913356:1086 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part21.utf8:207913356:1086?format=raw |
LEADER: 01086cam a2200277 a 4500
001 92034076
003 DLC
005 20080308084226.0
008 920902m19922003gw a b 001 0 eng
010 $a 92034076
020 $a3540559264 (v. 1 : Berlin : alk. paper)
020 $a0387559264 (v. 1 : New York : alk. paper)
020 $a3540645071 (v. 2 : Berlin : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA9.45$b.B65 1992
082 00 $a511.3$220
100 1 $aBolc, Leonard,$d1934-
245 10 $aMany-valued logics /$cLeonard Bolc, Piotr Borowik.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1992-c2003.
300 $a2 v. :$bill. ;$c24 cm.
504 $aIncludes bibliographical references and indexes.
505 0 $av. 1. Theoretical foundations -- 2. Automated reasoning and practical applications.
650 0 $aMany-valued logic.
700 1 $aBorowik, Piotr.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/92034076-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0815/92034076-t.html