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.
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentation theory of complexity |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0268046 |
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03G12 - Quantum logic [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentations Theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00268046 |
|
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
| Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | viii, 307 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Algebra
Commutative algebra Computability theory Differential equations Forcing Groups Mathematical logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256295 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
| Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | viii, 307 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Algebra
Commutative algebra Computability theory Differential equations Forcing Groups Mathematical logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00256295 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiomatic Set Theory / G. Takeuti, W. M. Zaring
| Axiomatic Set Theory / G. Takeuti, W. M. Zaring |
| Autore | Takeuti, Gaisi |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1973 |
| Descrizione fisica | 238 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zaring, Wilson M. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0267740 |
|
Takeuti, Gaisi
|
||
| New York, : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiomatic Set Theory / G. Takeuti, W. M. Zaring
| Axiomatic Set Theory / G. Takeuti, W. M. Zaring |
| Autore | Takeuti, Gaisi |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1973 |
| Descrizione fisica | 238 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zaring, Wilson M. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Proofs Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00267740 |
|
Takeuti, Gaisi
|
||
| New York, : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cardinal Invariants on Boolean Algebras / J. Donald Monk
| Cardinal Invariants on Boolean Algebras / J. Donald Monk |
| Autore | Monk, James D. |
| Pubbl/distr/stampa | Basel, : Birkhäuser, 1996 |
| Descrizione fisica | ix, 301 p. ; 24 cm |
| Soggetto topico |
03E10 - Ordinal and cardinal numbers [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Cardinal functions Cellularity Fedorchukís theorem Forcing Logic Proofs Set Theory Ultraproducts |
| ISBN | 37-643-5402-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00053190 |
|
Monk, James D.
|
||
| Basel, : Birkhäuser, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cardinal Invariants on Boolean Algebras / J. Donald Monk
| Cardinal Invariants on Boolean Algebras / J. Donald Monk |
| Autore | Monk, James D. |
| Pubbl/distr/stampa | Basel, : Birkhäuser, : Springer, 1996 |
| Descrizione fisica | ix, 301 p. ; 24 cm |
| Soggetto topico |
03E10 - Ordinal and cardinal numbers [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Cardinal functions Cellularity Fedorchukís theorem Forcing Logic Proofs Set Theory Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00295515 |
|
Monk, James D.
|
||
| Basel, : Birkhäuser, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classical Descriptive Set Theory / Alexander S. Kechris
| Classical Descriptive Set Theory / Alexander S. Kechris |
| Autore | Kechris, Alexander S. |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, 1995 |
| Descrizione fisica | xviii, 402 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
28A05 - Classes of sets (Borel fields, $\sigma$-rings, etc.), measurable sets, Suslin sets, analytic sets [MSC 2020] 54H05 - Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) [MSC 2020] |
| Soggetto non controllato |
Addition
Baire spaces Cardinals Compact spaces Forcing Homeomorphisms Meager set Metrizable Model theory Set Set Theory |
| ISBN |
03-87943-74-9
978-14-612-8692-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00055655 |
|
Kechris, Alexander S.
|
||
| New York [etc.], : Springer-Verlag, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classical Descriptive Set Theory / Alexander S. Kechris
| Classical Descriptive Set Theory / Alexander S. Kechris |
| Autore | Kechris, Alexander S. |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, 1995 |
| Descrizione fisica | xviii, 402 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
28A05 - Classes of sets (Borel fields, $\sigma$-rings, etc.), measurable sets, Suslin sets, analytic sets [MSC 2020] 54H05 - Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) [MSC 2020] |
| Soggetto non controllato |
Addition
Baire spaces Cardinals Compact spaces Forcing Homeomorphisms Meager set Metrizable Model theory Set Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00294896 |
|
Kechris, Alexander S.
|
||
| New York [etc.], : Springer-Verlag, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
