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.
Mathematical logic / Joseph R. Shoenfield
Mathematical logic / Joseph R. Shoenfield
Autore Shoenfield, Joseph R.
Pubbl/distr/stampa Urbana, Ill., : Association for Symbolic Logic, 1967
Descrizione fisica VII, 344 p. ; 23 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-15-688-1135-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00050877
Shoenfield, Joseph R.  
Urbana, Ill., : Association for Symbolic Logic, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic for computer science / Mordechai Ben-Ari
Mathematical logic for computer science / Mordechai Ben-Ari
Autore Ben Ari, Mordechai
Edizione [2. ed]
Pubbl/distr/stampa London, : Springer, 2001
Descrizione fisica XIV, 304 p. : ill. ; 24 cm.
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-18-523-3319-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0045008
Ben Ari, Mordechai  
London, : Springer, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic for computer science / Mordechai Ben-Ari
Mathematical logic for computer science / Mordechai Ben-Ari
Autore Ben Ari, Mordechai
Edizione [2. ed]
Pubbl/distr/stampa London, : Springer, 2001
Descrizione fisica XIV, 304 p. : ill. ; 24 cm
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-18-523-3319-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0045008
Ben Ari, Mordechai  
London, : Springer, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic for computer science / Mordechai Ben-Ari
Mathematical logic for computer science / Mordechai Ben-Ari
Autore Ben Ari, Mordechai
Edizione [2. ed]
Pubbl/distr/stampa London, : Springer, 2001
Descrizione fisica XIV, 304 p. : ill. ; 24 cm
Soggetto topico 03Bxx - General logic [MSC 2020]
68Qxx - Theory of computing [MSC 2020]
ISBN 978-18-523-3319-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00045008
Ben Ari, Mordechai  
London, : Springer, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica xviii, 483 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
00B30 - Festschriften [MSC 2020]
03Bxx - General logic [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
Soggetto non controllato Arabic Logic
Arabic Philosophy of Mathematics
Avicenna on Deductions from Contradictory Premises
Basic Logic
Binary Modal Companions for Subintuitionistic Logics
Bounded Distributive Lattices with Two Subordinations
Constructive logic
Constructive mathematics
Intuitionism to Many-Valued Logics through Kripke Models
Intuitionistic Logic
Intuitionistic Logic of Language
Intuitionistic Philosophy of Mathematics
Mohammad Ardeshir
Non-Conditional Contracting Connectives
Residuated Expansions of Lattice-Ordered Structures
Struggle between Syntax and Semantics in Mathematics
Substructural Logic
Termination Condition of Gossip Protocols
Unification in basic logic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0274944
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica xviii, 483 p. : ill. ; 24 cm
Soggetto topico 00B30 - Festschriften [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Arabic Logic
Arabic Philosophy of Mathematics
Avicenna on Deductions from Contradictory Premises
Basic Logic
Binary Modal Companions for Subintuitionistic Logics
Bounded Distributive Lattices with Two Subordinations
Constructive logic
Constructive mathematics
Intuitionism to Many-Valued Logics through Kripke Models
Intuitionistic Logic
Intuitionistic Logic of Language
Intuitionistic Philosophy of Mathematics
Mohammad Ardeshir
Non-Conditional Contracting Connectives
Residuated Expansions of Lattice-Ordered Structures
Struggle between Syntax and Semantics in Mathematics
Substructural Logic
Termination Condition of Gossip Protocols
Unification in basic logic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00274944
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson
Autore Ferguson, Thomas M.
Pubbl/distr/stampa Cham, : Springer, 2017
Descrizione fisica xiii, 198 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020]
03Bxx - General logic [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020]
Soggetto non controllato Alternative Interpretations of Disjunction
Computational interpretations of logic
Conceptivist Theories of Entailment
Constructive nonsense logics
Containment Logic
Failure of disjunctive addition
Faulty Belnap computers
Infectiousness of nonsense
Kit Fine’s truth
Maker semantics
Meaningfulness and Logic
Positivism, inference, and category mistakes
Relevant Entailment
Richard Angell on analytic containment
Rivals to Relevant Logics
William Parry computer science
William Parry mathematics
William Parry mereology
William Parry philosophy
William T. Parry on Analytic Implication
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0124292
Ferguson, Thomas M.  
Cham, : Springer, 2017
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson
Autore Ferguson, Thomas M.
Pubbl/distr/stampa Cham, : Springer, 2017
Descrizione fisica xiii, 198 p. : ill. ; 24 cm
Soggetto topico 00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Alternative Interpretations of Disjunction
Computational interpretations of logic
Conceptivist Theories of Entailment
Constructive nonsense logics
Containment Logic
Failure of disjunctive addition
Faulty Belnap computers
Infectiousness of nonsense
Kit Fine’s truth
Maker semantics
Meaningfulness and Logic
Positivism, inference, and category mistakes
Relevant Entailment
Richard Angell on analytic containment
Rivals to Relevant Logics
William Parry computer science
William Parry mathematics
William Parry mereology
William Parry philosophy
William T. Parry on Analytic Implication
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00124292
Ferguson, Thomas M.  
Cham, : Springer, 2017
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson
Autore Ferguson, Thomas Macaulay
Edizione [Cham : Springer, 2017]
Pubbl/distr/stampa xiii, 198 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020]
03Bxx - General logic [MSC 2020]
03Axx - Philosophical aspects of logic and foundations [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0124292
Ferguson, Thomas Macaulay  
xiii, 198 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek
Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek
Autore Hájek, Petr
Pubbl/distr/stampa Berlin, : Springer, 1978
Descrizione fisica xvi, 398 p. ; 24 cm
Altri autori (Persone) Havránek, Tomáš
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
68T10 - Pattern recognition, speech recognition [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020]
62-XX - Statistics [MSC 2020]
03Bxx - General logic [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
62A01 - Foundations and philosophical topics in statistics [MSC 2020]
Soggetto non controllato Artificial Intelligence
Functions
Intelligence
Mathematical logic
Optimization
formation
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0260854
Hájek, Petr  
Berlin, : Springer, 1978
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui