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.
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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-9910817263903321 |
|
Tourlakis George J.
|
||
| Cambridge : , : Cambridge University Press, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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-9910829176203321 |
|
Tourlakis George J.
|
||
| Cambridge : , : Cambridge University Press, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||