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.
Facets of uncertainties and applications : ICFUA, Kolkata, India, december 2013 / Mihir K. Chakraborty ... [et al.] editors
Facets of uncertainties and applications : ICFUA, Kolkata, India, december 2013 / Mihir K. Chakraborty ... [et al.] editors
Edizione [New Delhi : Springer, 2015]
Pubbl/distr/stampa XIV, 343 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 68Uxx - Computing methodologies and applications [MSC 2020]
90Bxx - Operations research and management science [MSC 2020]
93Exx - Stochastic systems and control [MSC 2020]
41-XX - Approximations and expansions [MSC 2020]
03Bxx - General logic [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0113998
XIV, 343 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
First order mathematical logic / by Angelo Margaris
First order mathematical logic / by Angelo Margaris
Autore Margaris, Angelo
Pubbl/distr/stampa New York, : Dover, 1990
Descrizione fisica X, 211 p. ; 22 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-04-86662-69-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0052523
Margaris, Angelo  
New York, : Dover, 1990
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
First order mathematical logic / by Angelo Margaris
First order mathematical logic / by Angelo Margaris
Autore Margaris, Angelo
Pubbl/distr/stampa New York, : Dover, 1990
Descrizione fisica X, 211 p. ; 22 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-04-86662-69-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0052523
Margaris, Angelo  
New York, : Dover, 1990
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
First order mathematical logic / by Angelo Margaris
First order mathematical logic / by Angelo Margaris
Autore Margaris, Angelo
Pubbl/distr/stampa New York, : Dover, 1990
Descrizione fisica X, 211 p. ; 22 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-04-86662-69-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00052523
Margaris, Angelo  
New York, : Dover, 1990
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Fuzzy sets and fuzzy logic with applications : imprecision, uncertainty and vagueness / M.K. Hasan
Fuzzy sets and fuzzy logic with applications : imprecision, uncertainty and vagueness / M.K. Hasan
Autore Hasan, Mohammad K.
Pubbl/distr/stampa Beau Bassin, : Scholars' press, 2019
Descrizione fisica 318 p. : ill. ; 22 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B52 - Fuzzy logic; logic of vagueness [MSC 2020]
03Bxx - General logic [MSC 2020]
03Exx - Set theory [MSC 2020]
ISBN 978-61-388-3378-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0250815
Hasan, Mohammad K.  
Beau Bassin, : Scholars' press, 2019
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Fuzzy sets and fuzzy logic with applications : imprecision, uncertainty and vagueness / M.K. Hasan
Fuzzy sets and fuzzy logic with applications : imprecision, uncertainty and vagueness / M.K. Hasan
Autore Hasan, Mohammad K.
Pubbl/distr/stampa Beau Bassin, : Scholars' press, 2019
Descrizione fisica 318 p. : ill. ; 22 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B52 - Fuzzy logic; logic of vagueness [MSC 2020]
03Bxx - General logic [MSC 2020]
03Exx - Set theory [MSC 2020]
ISBN 978-61-388-3378-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00250815
Hasan, Mohammad K.  
Beau Bassin, : Scholars' press, 2019
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf
Autore Halbeisen, Lorenz J.
Pubbl/distr/stampa Cham, : Birkhäuser, : Springer, 2020
Descrizione fisica x, 236 p. : ill. ; 24 cm
Altri autori (Persone) Krapf, Regula
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Completeness theorem
Constructible universe
Incompleteness theorem
Mathematical logic
Non-standard models
Peano arithmetic
Presburger arithmetic
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0249323
Halbeisen, Lorenz J.  
Cham, : Birkhäuser, : Springer, 2020
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf
Autore Halbeisen, Lorenz J.
Pubbl/distr/stampa Cham, : Birkhäuser, : Springer, 2020
Descrizione fisica x, 236 p. : ill. ; 24 cm
Altri autori (Persone) Krapf, Regula
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
03Exx - Set theory [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
Soggetto non controllato Completeness theorem
Constructible universe
Incompleteness theorem
Mathematical logic
Non-standard models
Peano arithmetic
Presburger arithmetic
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00249323
Halbeisen, Lorenz J.  
Cham, : Birkhäuser, : Springer, 2020
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
Autore Jongsma, Calvin
Pubbl/distr/stampa Cham, : Springer, 2019
Descrizione fisica xx, 482 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
05Cxx - Graph theory [MSC 2020]
03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020]
03Bxx - General logic [MSC 2020]
06E30 - Boolean functions [MSC 2020]
Soggetto non controllato Boolean algebra
Mathematical induction
Peano arithmetic
Predicate logic
Propositional logic
Sentential logic
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0126931
Jongsma, Calvin  
Cham, : Springer, 2019
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
Autore Jongsma, Calvin
Pubbl/distr/stampa Cham, : Springer, 2019
Descrizione fisica xx, 482 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020]
03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020]
05-XX - Combinatorics [MSC 2020]
05Cxx - Graph theory [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
06E30 - Boolean functions [MSC 2020]
Soggetto non controllato Boolean algebra
Mathematical induction
Peano arithmetic
Predicate logic
Propositional logic
Sentential logic
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00126931
Jongsma, Calvin  
Cham, : Springer, 2019
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui