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
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. UNINA-9910484070503321
Rasga João  
Cham, Switzerland : , : Birkhäuser, , [2020]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui