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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / J. T. Baldwin (ed.) |
Pubbl/distr/stampa | Berlin, : Springer, 1987 |
Descrizione fisica | 500 p. ; 24 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
Soggetto non controllato |
Forcing
Mathematical logic Model theory |
ISBN | 978-35-401-8674-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0071658 |
Berlin, : Springer, 1987 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / edited by J. T. Baldwin |
Pubbl/distr/stampa | Berlin, : Springer, 1987 |
Descrizione fisica | 500 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03Cxx - Model theory [MSC 2020] |
Soggetto non controllato |
Forcing
Mathematical logic Model theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0264110 |
Berlin, : Springer, 1987 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Forcing, Arithmetic, Division Rings / Joram Hirschfeld, William H. Wheeler |
Autore | Hirschfeld, Joram |
Pubbl/distr/stampa | Berlin, : Springer, 1975 |
Descrizione fisica | vii, 266 p. ; 24 cm |
Altri autori (Persone) | Wheeler, William Hollis |
Soggetto topico |
16-XX - Associative rings and algebras [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] 16Kxx - Division rings and semisimple Artin rings [MSC 2020] 16S10 - Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) [MSC 2020] 14Axx - Foundations of algebraic geometry [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03C68 - Other classical first-order model theory [MSC 2020] |
Soggetto non controllato |
Algebra
Arithmetic Finite Forcing Models Recursion |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0256330 |
Hirschfeld, Joram
![]() |
||
Berlin, : Springer, 1975 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of Constructive Mathematics : Metamathematical Studies / Michael J. Beeson |
Autore | Beeson, Michael J. |
Pubbl/distr/stampa | Berlin, : Springer, 1985 |
Descrizione fisica | xxiii, 466 p. ; 24 cm |
Soggetto non controllato |
Computability theory
Computer Computer Science Developments Forcing Mathematics Model theory Organization Philosophy Proof by contradiction Proofs Proving Set Theory eXist |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263519 |
Beeson, Michael J.
![]() |
||
Berlin, : Springer, 1985 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff |
Pubbl/distr/stampa | Berlin, : Springer, 1975 |
Descrizione fisica | iv, 651 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 |
Forcing
Logic Mathematical logic Model theory Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione |
eng
fre |
Record Nr. | UNICAMPANIA-VAN0256461 |
Berlin, : Springer, 1975 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Model Theory and Algebra : A Memorial Tribute to Abraham Robinson / edited by D. H. Saracino and V. B. Weispfenning |
Pubbl/distr/stampa | Berlin, : Springer, 1975 |
Descrizione fisica | x, 463 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Cxx - Model theory [MSC 2020] |
Soggetto non controllato |
Algebra
Forcing Model theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0256473 |
Berlin, : Springer, 1975 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Proper Forcing / Saharon Shelah |
Autore | Shelah, Saharon |
Pubbl/distr/stampa | Berlin, : Springer, 1982 |
Descrizione fisica | xxxii, 500 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E05 - Other combinatorial 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-VAN0262211 |
Shelah, Saharon
![]() |
||
Berlin, : Springer, 1982 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|