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)
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Pubbl/distr/stampa Oxford, : Clarendon, 1993
Descrizione fisica XII, 428 p. : ill. ; 24 cm.
Soggetto topico Theory of computing [MSC 2010] 68Qxx
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 01-985369-0-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0064701
Oxford, : Clarendon, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Pubbl/distr/stampa Oxford, : Clarendon, 1993
Descrizione fisica XII, 428 p. : ill. ; 24 cm
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 978-01-985369-0-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISOB-VAN0064701
Oxford, : Clarendon, 1993
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Pubbl/distr/stampa Oxford, : Clarendon, 1993
Descrizione fisica XII, 428 p. : ill. ; 24 cm
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 978-01-985369-0-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0064701
Oxford, : Clarendon, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
Pubbl/distr/stampa Oxford, : Clarendon, 1993
Descrizione fisica XII, 428 p. : ill. ; 24 cm
Soggetto topico 03F30 - First-order arithmetic and fragments [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
68Qxx - Theory of computing [MSC 2020]
ISBN 978-01-985369-0-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00064701
Oxford, : Clarendon, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Autore Krajicek, Jan
Pubbl/distr/stampa Cambridge, : Cambridge university, 1995
Descrizione fisica XIV, 343 p. : ill. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 05-214-5205-8
978-05-214-5205-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053035
Krajicek, Jan  
Cambridge, : Cambridge university, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Autore Krajicek, Jan
Pubbl/distr/stampa Cambridge, : Cambridge university, 1995
Descrizione fisica XIV, 343 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 05-214-5205-8
978-05-214-5205-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0053035
Krajicek, Jan  
Cambridge, : Cambridge university, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
Autore Krajicek, Jan
Pubbl/distr/stampa Cambridge, : Cambridge university, 1995
Descrizione fisica XIV, 343 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
ISBN 05-214-5205-8
978-05-214-5205-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00053035
Krajicek, Jan  
Cambridge, : Cambridge university, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Complexity of computations and proofs / edited by J. Krajicek
Complexity of computations and proofs / edited by J. Krajicek
Pubbl/distr/stampa Roma, : Aracne, 2003
Descrizione fisica 424 p. ; 22 cm.
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
ISBN 978-88-7999-413-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0062774
Roma, : Aracne, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Complexity of computations and proofs / edited by J. Krajicek
Complexity of computations and proofs / edited by J. Krajicek
Pubbl/distr/stampa Roma, : Aracne, 2003
Descrizione fisica 424 p. ; 22 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
ISBN 978-88-7999-413-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0062774
Roma, : Aracne, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Complexity of computations and proofs / edited by J. Krajicek
Complexity of computations and proofs / edited by J. Krajicek
Pubbl/distr/stampa Roma, : Aracne, 2003
Descrizione fisica 424 p. ; 22 cm
Soggetto topico 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
68-XX - Computer science [MSC 2020]
ISBN 978-88-7999-413-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00062774
Roma, : Aracne, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui