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] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|