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.
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
Pubbl/distr/stampa Oxford : Clarendon, 1992
Descrizione fisica XII, 827 p. ; 24 cm.
Soggetto topico Computer science [MSC 2010] 68-XX
General logic [MSC 2010] 03Bxx
ISBN 01-985373-5-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050957
Oxford : Clarendon, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
An Introduction to the Language of Mathematics / Frédéric Mynard
An Introduction to the Language of Mathematics / Frédéric Mynard
Autore Mynard, Frédéric
Edizione [Cham : Springer, 2018]
Pubbl/distr/stampa xii, 185 p. : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico Elementary number theory [MSC 2010] 11Axx
Axiom of choice and related propositions [MSC 2010] 03E25
Partial order, general [MSC 2010] 06A06
Factorization; primality [MSC 2010] 11A51
Other classical set theory (including functions, relations, and set algebra) [MSC 2010] 03E20
General logic [MSC 2010] 03Bxx
Structure of proofs [MSC 2010] 03F07
Foundations of mathematics [MSC 2010] 97Exx
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0124569
Mynard, Frédéric  
xii, 185 p. : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Duality theories for boolean algebras with operators / Steven Givant
Duality theories for boolean algebras with operators / Steven Givant
Autore Givant, Steven R.
Edizione [Cham : Springer, 2014]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico Category theory; homological algebra [MSC 2010] 18-XX
General logic [MSC 2010] 03Bxx
Algebraic logic [MSC 2010] 03Gxx
Boolean algebras (Boolean rings) [MSC 2010] 06Exx
ISBN 8-3-319-06742-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0103469
Givant, Steven R.  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Elements of logic via numbers and sets / D. L. Johnson
Elements of logic via numbers and sets / D. L. Johnson
Autore Johnson, David L.
Pubbl/distr/stampa London : Springer, 1998
Descrizione fisica X, 174 p. : ill. ; 24 cm.
Soggetto topico Set theory [MSC 2010] 03Exx
General logic [MSC 2010] 03Bxx
ISBN 35-407-6123-3
978-35-407-6123-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050937
Johnson, David L.  
London : Springer, 1998
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou
Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou
Autore Lewis, Harry R.
Edizione [2. ed]
Pubbl/distr/stampa Upper Saddle River, N.J. : Prentice Hall International, 1998
Descrizione fisica XIII, 361 p. : ill. ; 24 cm.
Soggetto topico Theory of computing [MSC 2010] 68Qxx
General logic [MSC 2010] 03Bxx
ISBN 01-327-2741-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0052081
Lewis, Harry R.  
Upper Saddle River, N.J. : Prentice Hall International, 1998
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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 Computing methodologies and applications [MSC 2010] 68Uxx
Operations research and management science [MSC 2010] 90Bxx
Stochastic systems and control [MSC 2010] 93Exx
Approximations and expansions [MSC 2010] 41-XX
General logic [MSC 2010] 03Bxx
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 Mathematical logic and foundations [MSC 2010] 03-XX
General logic [MSC 2010] 03Bxx
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
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
Autore Jongsma, Calvin
Edizione [Cham : Springer, 2019]
Pubbl/distr/stampa xx, 482 p. : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico Mathematical logic and foundations [MSC 2010] 03-XX
Combinatorics [MSC 2010] 05-XX
Order, lattices, ordered algebraic structures [MSC 2010] 06-XX
Graph theory [MSC 2010] 05Cxx
Other classical set theory (including functions, relations, and set algebra) [MSC 2010] 03E20
General logic [MSC 2010] 03Bxx
Boolean functions [MSC 2010] 06E30
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0126931
Jongsma, Calvin  
xx, 482 p. : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduzione alla logica formale / Gabriele Lolli
Introduzione alla logica formale / Gabriele Lolli
Autore Lolli, Gabriele
Pubbl/distr/stampa Bologna : Il Mulino, 1991
Descrizione fisica 333 p. ; 24 cm.
Disciplina 511.3
Soggetto topico General logic [MSC 2010] 03Bxx
Logica formale
ISBN 88-15-02958-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-SUN0052066
Lolli, Gabriele  
Bologna : Il Mulino, 1991
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
Edizione [Berlin : Springer, 2014]
Pubbl/distr/stampa XV, 198 p. : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico Mathematical logic and foundations [MSC 2010] 03-XX
General logic [MSC 2010] 03Bxx
ISBN 8-3-7643-8503-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0104264
XV, 198 p. : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui