01055cam0-22003011i-450 99000429215040332120210423114035.000042921519990604d1922----km-y0itay50------baitaITy-------001yyDelle leggi che riguardano l'educazione, i costumi e l'istruzione pubblicaLibro IV della scienza della legislazioneGaetano Filangieriintroduzione e revisione del testo e delle note a cura di Settimo CarassaliTorinoBocca1922XXXIV, 324 p.20 cmScienza della legislazione340.120itaFilangieri,Gaetano<1752-1788>8276Carassali,SettimoITUNINARICAUNIMARCBK990004292150403321340.1 FIL 3ST.FIL.178FLFBCXI FILANGIERI 213938FGBCFGBCFLFBCDelle leggi che riguardano l'educazione, i costumi e l'istruzione pubblica203919UNINA03126nam 2200577 450 991082853760332120170828133208.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-MiAaPQMiAaPQMiAaPQBOOK9910828537603321Advances in contemporary logic and computer science377603UNINA