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.
Computability / / George Tourlakis
Computability / / George Tourlakis
Autore Tourlakis George J.
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2022]
Descrizione fisica 1 online resource (652 pages)
Disciplina 511.3
Soggetto topico Computable functions
ISBN 9783030832025
9783030832018
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996485671003316
Tourlakis George J.  
Cham, Switzerland : , : Springer, , [2022]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computability / / George Tourlakis
Computability / / George Tourlakis
Autore Tourlakis George J.
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2022]
Descrizione fisica 1 online resource (652 pages)
Disciplina 511.3
Soggetto topico Computable functions
ISBN 9783030832025
9783030832018
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910586582103321
Tourlakis George J.  
Cham, Switzerland : , : Springer, , [2022]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Lectures in logic and set theory . Volume 1 Mathematical logic / / George Tourlakis [[electronic resource]]
Lectures in logic and set theory . Volume 1 Mathematical logic / / George Tourlakis [[electronic resource]]
Autore Tourlakis George J.
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2003
Descrizione fisica 1 online resource (xi, 328 pages) : digital, PDF file(s)
Disciplina 511.3
Collana Cambridge studies in advanced mathematics
Soggetto topico Logic, Symbolic and mathematical
Set theory
ISBN 1-107-12856-0
1-280-41776-5
9786610417766
1-139-14853-2
0-511-18060-8
0-511-06658-9
0-511-06027-0
0-511-30759-4
0-511-61555-8
0-511-06871-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; I Basic Logic; II The Second Incompleteness Theorem; Bibliography; List of Symbols; Index
Altri titoli varianti Lectures in Logic & Set Theory
Record Nr. UNINA-9910450654903321
Tourlakis George J.  
Cambridge : , : Cambridge University Press, , 2003
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Lectures in logic and set theory . Volume 2 Set theory / / George Tourlakis [[electronic resource]]
Lectures in logic and set theory . Volume 2 Set theory / / George Tourlakis [[electronic resource]]
Autore Tourlakis George J.
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2003
Descrizione fisica 1 online resource (xv, 575 pages) : digital, PDF file(s)
Disciplina 511.3
Collana Cambridge studies in advanced mathematics
Soggetto topico Logic, Symbolic and mathematical
Set theory
ISBN 1-107-12857-9
1-280-41777-3
9786610417773
1-139-14854-0
0-511-18061-6
0-511-06659-7
0-511-06028-9
0-511-30271-1
0-511-61556-6
0-511-06872-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Half-title; Series-title; Title; Copyright; Dedication; Contents; Preface; I A Bit of Logic: A User's Toolbox; II The Set-Theoretic Universe, Naïvely; III The Axioms of Set Theory; IV The Axiom of Choice; V The Natural Numbers; Transitive Closure; VI Order; VII Cardinality; VIII Forcing; Bibliography; List of Symbols; Index
Altri titoli varianti Lectures in Logic & Set Theory
Record Nr. UNINA-9910450655603321
Tourlakis George J.  
Cambridge : , : Cambridge University Press, , 2003
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Lectures in logic and set theory . Volume 2 Set theory / / George Tourlakis [[electronic resource]]
Lectures in logic and set theory . Volume 2 Set theory / / George Tourlakis [[electronic resource]]
Autore Tourlakis George J.
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2003
Descrizione fisica 1 online resource (xv, 575 pages) : digital, PDF file(s)
Disciplina 511.3
Collana Cambridge studies in advanced mathematics
Soggetto topico Logic, Symbolic and mathematical
Set theory
ISBN 1-107-12857-9
1-280-41777-3
9786610417773
1-139-14854-0
0-511-18061-6
0-511-06659-7
0-511-06028-9
0-511-30271-1
0-511-61556-6
0-511-06872-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Half-title; Series-title; Title; Copyright; Dedication; Contents; Preface; I A Bit of Logic: A User's Toolbox; II The Set-Theoretic Universe, Naïvely; III The Axioms of Set Theory; IV The Axiom of Choice; V The Natural Numbers; Transitive Closure; VI Order; VII Cardinality; VIII Forcing; Bibliography; List of Symbols; Index
Altri titoli varianti Lectures in Logic & Set Theory
Record Nr. UNINA-9910783127203321
Tourlakis George J.  
Cambridge : , : Cambridge University Press, , 2003
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Lectures in logic and set theory . Volume 1 Mathematical logic / / George Tourlakis [[electronic resource]]
Lectures in logic and set theory . Volume 1 Mathematical logic / / George Tourlakis [[electronic resource]]
Autore Tourlakis George J.
Pubbl/distr/stampa Cambridge : , : Cambridge University Press, , 2003
Descrizione fisica 1 online resource (xi, 328 pages) : digital, PDF file(s)
Disciplina 511.3
Collana Cambridge studies in advanced mathematics
Soggetto topico Logic, Symbolic and mathematical
Set theory
ISBN 1-107-12856-0
1-280-41776-5
9786610417766
1-139-14853-2
0-511-18060-8
0-511-06658-9
0-511-06027-0
0-511-30759-4
0-511-61555-8
0-511-06871-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; I Basic Logic; II The Second Incompleteness Theorem; Bibliography; List of Symbols; Index
Altri titoli varianti Lectures in Logic & Set Theory
Record Nr. UNINA-9910783127303321
Tourlakis George J.  
Cambridge : , : Cambridge University Press, , 2003
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui