top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Decidability of logical theories and their combination / / João Rasga, Cristina Sernadas
Decidability of logical theories and their combination / / João Rasga, Cristina Sernadas
Autore Rasga João
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham, Switzerland : , : Birkhäuser, , [2020]
Descrizione fisica 1 online resource (XIII, 178 p. 70 illus., 1 illus. in color.)
Disciplina 511.3
Collana Studies in Universal Logic
Soggetto topico Logic, Symbolic and mathematical
First-order logic
Mathematics - Philosophy
ISBN 3-030-56554-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter 1: First Order Logic -- Chapter 2: Reasoning with Theories -- Chapter 3: Decidability Results on Theories -- Chapter 4: Quantifier Elimination -- Chapter 5: Combination of Theories -- Appendix: Basics of Computability -- Bibliography -- Table of Symbols -- Subject Index.
Record Nr. UNISA-996418183703316
Rasga João  
Cham, Switzerland : , : Birkhäuser, , [2020]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Duality and definability in first order logic / / Michael Makkai
Duality and definability in first order logic / / Michael Makkai
Autore Makkai Mihály <1939->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1993
Descrizione fisica 1 online resource (122 p.)
Disciplina 511.3
Collana Memoirs of the American Mathematical Society
Soggetto topico First-order logic
Duality theory (Mathematics)
Toposes
Soggetto genere / forma Electronic books.
ISBN 1-4704-0080-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Table Of Contents""; ""Abstract""; ""Introduction""; ""1. Beth's theorem for propositional logic""; ""2. Factorizations in 2-categories""; ""3. Definable functors""; ""4. Basic notions for duality""; ""5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids""; ""6. The syntax of special ultramorphisms""; ""7. The semantics of special ultramorphisms""; ""8. The duality theorem""; ""9. Preparing a functor specification""; ""10. Lifting Zawadowski's argument to ultra*morphisms""; ""11. The operations in BP* and UG""; ""12. Conclusion""; ""References""
Record Nr. UNINA-9910480574303321
Makkai Mihály <1939->  
Providence, Rhode Island : , : American Mathematical Society, , 1993
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Duality and definability in first order logic / / Michael Makkai
Duality and definability in first order logic / / Michael Makkai
Autore Makkai Mihály <1939->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1993
Descrizione fisica 1 online resource (122 p.)
Disciplina 511.3
Collana Memoirs of the American Mathematical Society
Soggetto topico First-order logic
Duality theory (Mathematics)
Toposes
ISBN 1-4704-0080-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Table Of Contents""; ""Abstract""; ""Introduction""; ""1. Beth's theorem for propositional logic""; ""2. Factorizations in 2-categories""; ""3. Definable functors""; ""4. Basic notions for duality""; ""5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids""; ""6. The syntax of special ultramorphisms""; ""7. The semantics of special ultramorphisms""; ""8. The duality theorem""; ""9. Preparing a functor specification""; ""10. Lifting Zawadowski's argument to ultra*morphisms""; ""11. The operations in BP* and UG""; ""12. Conclusion""; ""References""
Record Nr. UNINA-9910788752203321
Makkai Mihály <1939->  
Providence, Rhode Island : , : American Mathematical Society, , 1993
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Duality and definability in first order logic / / Michael Makkai
Duality and definability in first order logic / / Michael Makkai
Autore Makkai Mihály <1939->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1993
Descrizione fisica 1 online resource (122 p.)
Disciplina 511.3
Collana Memoirs of the American Mathematical Society
Soggetto topico First-order logic
Duality theory (Mathematics)
Toposes
ISBN 1-4704-0080-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Table Of Contents""; ""Abstract""; ""Introduction""; ""1. Beth's theorem for propositional logic""; ""2. Factorizations in 2-categories""; ""3. Definable functors""; ""4. Basic notions for duality""; ""5. The Stone-type adjunction for Boolean pretoposes and ultragroupoids""; ""6. The syntax of special ultramorphisms""; ""7. The semantics of special ultramorphisms""; ""8. The duality theorem""; ""9. Preparing a functor specification""; ""10. Lifting Zawadowski's argument to ultra*morphisms""; ""11. The operations in BP* and UG""; ""12. Conclusion""; ""References""
Record Nr. UNINA-9910818932503321
Makkai Mihály <1939->  
Providence, Rhode Island : , : American Mathematical Society, , 1993
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First-order logic / Raymond M. Smullyan
First-order logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1968
Descrizione fisica xii, 158 p. ; 24 cm
Disciplina 511.3
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 43
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 43 = A series of modern surveys in mathematics, 0071-1136 ; 43
Soggetto topico First-order logic
Classificazione AMS 03B10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000895449707536
Smullyan, Raymond M.  
Berlin ; New York : Springer-Verlag, 1968
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
Autore Mann, Allen L.
Pubbl/distr/stampa Cambridge, UK ; New York : Cambridge University Press, 2011
Descrizione fisica vi, 208 p. : ill. ; 23 cm
Disciplina 511.3
Altri autori (Persone) Sandu, Gabrielauthor
Sevenster, Merlijn
Collana London Mathematical Society lecture note series, 0076-0552 ; 386
Soggetto topico First-order logic
Game theory
ISBN 9780521149341
Classificazione AMS 91A44
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001806959707536
Mann, Allen L.  
Cambridge, UK ; New York : Cambridge University Press, 2011
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
Autore Mycielski Jan <1932->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1990
Descrizione fisica 1 online resource (78 p.)
Disciplina 511.3
Collana Memoirs of the American Mathematical Society
Soggetto topico First-order logic
Lattice theory
Soggetto genere / forma Electronic books.
ISBN 1-4704-0849-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References""
Record Nr. UNINA-9910480032803321
Mycielski Jan <1932->  
Providence, Rhode Island : , : American Mathematical Society, , 1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
Autore Mycielski Jan <1932->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1990
Descrizione fisica 1 online resource (78 p.)
Disciplina 511.3
Collana Memoirs of the American Mathematical Society
Soggetto topico First-order logic
Lattice theory
ISBN 1-4704-0849-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References""
Record Nr. UNINA-9910788873403321
Mycielski Jan <1932->  
Providence, Rhode Island : , : American Mathematical Society, , 1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern
Autore Mycielski Jan <1932->
Pubbl/distr/stampa Providence, Rhode Island : , : American Mathematical Society, , 1990
Descrizione fisica 1 online resource (78 p.)
Disciplina 511.3
Collana Memoirs of the American Mathematical Society
Soggetto topico First-order logic
Lattice theory
ISBN 1-4704-0849-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References""
Record Nr. UNINA-9910827763503321
Mycielski Jan <1932->  
Providence, Rhode Island : , : American Mathematical Society, , 1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Sciences des données : de la logique du premier ordre à la Toile / Serge Abiteboul
Sciences des données : de la logique du premier ordre à la Toile / Serge Abiteboul
Autore Abiteboul Serge
Pubbl/distr/stampa Collège de France, 2012
Disciplina 005.7
Collana Leðcons inaugurales du Colláege de France Sciences des donnâees
Soggetto topico Database management
Relational databases
First-order logic
World Wide Web
Computer Science
Soggetto non controllato connaissance
gestion de bases de données
sciences numériques
informatique
ISBN 2-8218-1486-0
2-7226-0171-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNINA-9910137460503321
Abiteboul Serge  
Collège de France, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui