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)
Discrete mathematics for computer scientists / John K. Truss
Discrete mathematics for computer scientists / John K. Truss
Autore Truss, John K.
Edizione [2nd ed.]
Pubbl/distr/stampa Harlow (England) : Addison-Wesley Longman, c1999
Descrizione fisica xix, 585 p. : ill. ; 24 cm
Disciplina 510
Soggetto non controllato Matematica
Algoritmi
Teoria dei gruppi
Teoria dei grafi
ISBN 0-201-36061-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001485350403321
Truss, John K.  
Harlow (England) : Addison-Wesley Longman, c1999
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Foundations of mathematical analysis / J. K. Truss
Foundations of mathematical analysis / J. K. Truss
Autore Truss, John K.
Pubbl/distr/stampa Oxford, : Clarendon, 1997
Descrizione fisica XIII, 349 p. ; 24 cm.
Soggetto topico 26-XX - Real functions [MSC 2020]
ISBN 01-985337-5-6
978-01-985337-5-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0049966
Truss, John K.  
Oxford, : Clarendon, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Foundations of mathematical analysis / J. K. Truss
Foundations of mathematical analysis / J. K. Truss
Autore Truss, John K.
Pubbl/distr/stampa Oxford, : Clarendon, 1997
Descrizione fisica XIII, 349 p. ; 24 cm
Soggetto topico 26-XX - Real functions [MSC 2020]
ISBN 01-985337-5-6
978-01-985337-5-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0049966
Truss, John K.  
Oxford, : Clarendon, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Models and computability : invited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Models and computability : invited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Autore European Meeting of the Association for Symbolic Logic on Sets and Proofs : 1997
Pubbl/distr/stampa Cambridge, : Cambridge University, 1999
Descrizione fisica VI, 419 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020]
ISBN 05-216-3550-0
8-0-521-63550-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0019452
European Meeting of the Association for Symbolic Logic on Sets and Proofs : 1997  
Cambridge, : Cambridge University, 1999
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Models and computability : invited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Models and computability : invited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Autore European Meeting of the Association for Symbolic Logic on Sets and Proofs : 1997
Pubbl/distr/stampa Cambridge, : Cambridge University, 1999
Descrizione fisica VI, 419 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020]
ISBN 05-216-3550-0
978-05-216-3550-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0019452
European Meeting of the Association for Symbolic Logic on Sets and Proofs : 1997  
Cambridge, : Cambridge University, 1999
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
MODELS and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
MODELS and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Pubbl/distr/stampa Cambridge : Cambridge University Press, c1999
Descrizione fisica ix, 419 p. ; 23 cm
Disciplina 511.3
Collana London Mathematical Society lecture note series
Soggetto non controllato Logica matematica - Congressi
Teoria dei modelli - Congressi
Computabilita - Logica matematica - congressi
ISBN 0-521-63549-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001360800403321
Cambridge : Cambridge University Press, c1999
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
SETS and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
SETS and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Autore Logic colloquium : <1997
Pubbl/distr/stampa Cambridge : Cambridge University Press, c1999
Descrizione fisica ix, 436 p. ; 23 cm
Disciplina 511.322
Collana London Mathematical Society lecture note series
Soggetto non controllato Logica matematica - Congressi
Teoria degli insiemi - Congressi
Teoria della dimostrazione - Congressi
ISBN 0-521-63549-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001348810403321
Logic colloquium : <1997  
Cambridge : Cambridge University Press, c1999
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui