MARC record from Internet Archive

LEADER: 03996cam 22006254a 4500
001 ocm41137536
003 OCoLC
005 20201008081558.0
008 990402s1999 riua b 100 0 eng
010 $a 99023309
040 $aDLC$beng$cDLC$dPMC$dUBA$dLVB$dOCLCQ$dBAKER$dNLGGC$dBTCTA$dYDXCP$dOCLCG$dZWZ$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ$dOCL$dOCLCO$dOCLCQ$dUKMGB
016 7 $a006481763$2Uk
019 $a52403786$a491214070
020 $a0821813641$q(pbk. ;$qalk. paper)
020 $a9780821813645$q(pbk. ;$qalk. paper)
035 $a(OCoLC)41137536$z(OCoLC)52403786$z(OCoLC)491214070
042 $apcc
050 00 $aQA76.9.L36$bB73 1996
082 00 $a005.1/01/5113$221
084 $a31.10$2bcl
111 2 $aBrazilian Conference on Mathematical Logic$n(11th :$d1996 :$cSalvador, Brazil)
245 10 $aAdvances in contemporary logic and computer science :$bproceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /$cWalter A. Carnielli, Itala M.L. D'Ottaviano, editors.
260 $aProvidence, RI :$bAmerican Mathematical Society,$c1999.
300 $axi, 326 pages :$billustrations ;$c26 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aContemporary mathematics ;$v235
504 $aIncludes bibliographical references.
505 0 $aThe mathematical structure of logical syntax / Jean-Yves Béziau -- Quantifiers for reasoning with imperfect information and [sigma 1/1]-logic / Xavier Caicedo and Michał Krynicki -- Society semantics and multiple-valued logics / Walter A. Carnielli and Mamede Lima-Marques -- A topological approach to the logic underlying fuzzy subset theory / José Carlos Cifuentes -- Categorical logic with partial elements / Marcelo E. Coniglio -- Algebraic K-theory of fields and special groups / Max Dickmann and Francisco Miraglia -- Closed ideals of MV-algebras / Antonio Di Nola, George Georgescu, and Salvatore Sessa -- Definitions of adjunction / Kosta Došen -- A reduced spectrum for MV-algebras / Néstor G. Martínez -- A tableau calculus for Dummett predicate logic / Alessandro Avellone [and others] -- A hierarchy of unbounded almost rigid classes of finite structures / Jose Maria Turull Torres -- Some connections between logic and computer science / Paulo A.S. Veloso -- Opaque predicates, veiled sets and their logic / Décio Krause and Steven French -- Truth, quasi-truth and paraconsistency / Otávio Bueno -- To be a Fregean or to be a Husserlian : that is the question for Platonists / Guillermo E. Rosado Haddock -- A modal framework for consequential implication and the factor law / Claudio Pizzi.
650 0 $aComputer logic$vCongresses.
650 0 $aLogic, Symbolic and mathematical$vCongresses.
650 6 $aLogique informatique$xCongrès.
650 6 $aLogique symbolique et mathématique$xCongrès.
650 7 $aComputer logic.$2fast$0(OCoLC)fst00872265
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 17 $aWiskundige logica.$2gtt
650 7 $aLogica matematica.$2larpcal
650 7 $aLogique symbolique et mathématique$xCongrès.$2ram
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aCarnielli, Walter A.$q(Walter Alexandre)
700 1 $aD'Ottaviano, Itala M. L.,$d1944-
830 0 $aContemporary mathematics (American Mathematical Society) ;$vv. 235.
856 41 $3Table of contents$uhttp://lcweb.loc.gov/catdir/toc/99023309.html
938 $aBaker & Taylor$bBKTY$c63.00$d67.95$i0821813641$n0003314683$sactive
938 $aBaker and Taylor$bBTCP$n99023309
938 $aYBP Library Services$bYANK$n1585684
029 1 $aAU@$b000020029263
029 1 $aNLGGC$b182423271
029 1 $aNZ1$b2550765
029 1 $aYDXCP$b1585684
029 1 $aZWZ$b06096359X
029 1 $aUKMGB$b006481763
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 151 OTHER HOLDINGS