03126nam 2200577 450 991078865190332120170828133208.00-8218-7826-3(CKB)3240000000069763(EBL)3113115(SSID)ssj0000997905(PQKBManifestationID)11586108(PQKBTitleCode)TC0000997905(PQKBWorkID)11002669(PQKB)11391945(MiAaPQ)EBC3113115(WaSeSS)Ind00039719(RPAM)2157272(PPN)197105610(EXLCZ)99324000000006976319990402d1999 uy| 0engur|n|---|||||txtccrAdvances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /Walter A. Carnielli, Itala M.L. D'Ottaviano, editorsProvidence, Rhode Island :American Mathematical Society,1999.1 online resource (344 p.)Contemporary mathematics,0271-4132 ;235Description based upon print version of record.0-8218-1364-1 Includes bibliographical references.""Contents""; ""Preface""; ""Part I. Advances in Logic""; ""The mathematical structure of logical syntax""; ""Quantifiers for reasoning with imperfect information and Σ11-logic""; ""Society semantics and multiple-valued logics""; ""A topological approach to the logic underlying fuzzy subset theory""; ""Categorical logic with partial elements""; ""Algebraic K-theory of fields and special groups""; ""Closed ideals of MV-algebras""; ""Definitions of adjunction""; ""A reduced spectrum for MV-algebras""; ""Part II. Advances in Theoretical Computer Science""""A tableau calculus for Dummett predicate logic""""A hierarchy of unbounded almost rigid classes of finite structures""; ""Some connections between logic and computer science""; ""1. Introduction""; ""2. Logic and Computing: some connections""; ""3. Logical Specifications""; ""4. Fork Algebras""; ""5. Conclusion""; ""Part III. Advances in Philosophical Logic""; ""Opaque predicates, veiled sets and their logic""; ""Truth, quasi-truth and paraconsistency""; ""To be a Fregean or to be a Husserlian: That is the question for Platonists""""A modal framework for consequential implication and the factor law""Contemporary mathematics (American Mathematical Society) ;235.Computer logicCongressesLogic, Symbolic and mathematicalCongressesComputer logicLogic, Symbolic and mathematical005.1/01/5113Carnielli Walter A(Walter Alexandre),D'Ottaviano Itala M. L.1944-MiAaPQMiAaPQMiAaPQBOOK9910788651903321Advances in contemporary logic and computer science377603UNINA01864nam0 22003733i 450 PUV060351120251003044314.00072300965(solo testo)007235044X(testo con dischetto)20110228d2000 ||||0itac50 baengengusz01i xxxe z01nz01ncRDAcarrierˆAn ‰Introduction to combustionconcepts and applicationsStephen R. Turns2. edBoston (etc.)McGraw-Hillc2000XXIII, 676 p.ill.24 cm.1 floppy-disk.McGraw-Hill series in mechanical engineering001MIL00541752001 McGraw-Hill series in mechanical engineeringˆAn ‰introduction to combustionPUV3001484PUVV173200711955CombustioneFIRCFIC046876I621.402INGEGNERIA TERMICA14621.4023INGEGNERIA TERMICA. COMBUSTIBILI E COMBUSTIONE22Turns, Stephen R.PUVV17320007023237ITIT-00000020110228IT-BN0095 NAP 01SALA DING $PUV0603511Biblioteca Centralizzata di Ateneo1 v. + 1 floppy disk in tre copie 01SALA DING 621.402 TUR.in 0102 0000053575 VMA A4(ter 1 v. + 1 floppy disk (3. copia)Y 20040226201210171 v. + 1 floppy disk in tre copie 01SALA DING 621.402 TUR.in 0102 0000053585 VMA A4 1 v. + 1 floppy diskY 20040226201102281 v. + 1 floppy disk in tre copie 01SALA DING 621.402 TUR.in 0102 0000057765 VMA A4(bis 1 v. + 1 floppy disk (2. copia)Y 2005101220110228 01Introduction to combustion711955UNISANNIO