3.: Model Theory / Heinz-Dieter Ebbinghaus (Editor) |
Pubbl/distr/stampa | Berlin, : Springer, 1987 |
Descrizione fisica | XLV, 617 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A15 - Bibliographies for mathematics in general [MSC 2020] 03Cxx - Model theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] |
Soggetto non controllato |
Computability theory
Mathematical logic Model theory Proofs Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0264350 |
Berlin, : Springer, 1987 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib |
Autore | Kfoury, Assaf J. |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
Descrizione fisica | viii, 251 p. : ill. ; 24 cm |
Altri autori (Persone) |
Arbib, Michael A.
Moll, Robert N. |
Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] |
Soggetto non controllato |
Algorithms
Classification Computability theory Formal languages Predictability Programming |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268469 |
Kfoury, Assaf J.
![]() |
||
New York, : Springer-Verlag, 1982 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
Pubbl/distr/stampa | Singapore, : Springer, 2021 |
Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 00B30 - Festschriften [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03Bxx - General logic [MSC 2020] |
Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0275416 |
Singapore, : Springer, 2021 | ||
![]() | ||
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 | ||
|
Computations in Higher Types / Johan Moldestad |
Autore | Moldestad, Johan |
Pubbl/distr/stampa | Berlin, : Springer, 1977 |
Descrizione fisica | viii, 208 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 03D65 - Higher-type and set recursion theory [MSC 2020] |
Soggetto non controllato |
Calculation
Computability theory Computation Objects Recursion Recursive functions Types |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0260332 |
Moldestad, Johan
![]() |
||
Berlin, : Springer, 1977 | ||
![]() | ||
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 | ||
|
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz |
Autore | Malitz, Jerome |
Edizione | [Repr] |
Pubbl/distr/stampa | New York, : Springer, 1979 [stampa 1987] |
Descrizione fisica | XII, 198 p. ; 25 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
Soggetto non controllato |
Compactness theorem
Computability theory Mathematical logic Model theory Proofs Set Theory |
ISBN |
03-87903-46-1
978-03-87903-46-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0052412 |
Malitz, Jerome
![]() |
||
New York, : Springer, 1979 [stampa 1987] | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz |
Autore | Malitz, Jerome |
Pubbl/distr/stampa | New York, : Springer, 1979 |
Descrizione fisica | xii, 198 p. ; 25 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03Cxx - Model theory [MSC 2020] |
Soggetto non controllato |
Compactness theorem
Computability theory Mathematical logic Model theory Proofs Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268273 |
Malitz, Jerome
![]() |
||
New York, : Springer, 1979 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic and structure / Dirk van Dalen |
Autore | Dalen, Dirk van |
Edizione | [2. ed] |
Pubbl/distr/stampa | Berlin, : Springer, 1983 |
Descrizione fisica | x, 210 p. ; 24 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
Soggetto non controllato |
Basic model theory
Computability theory First-order logic with natural deduction Goedel's theorem Intuitionistic logic and semantics Model theory Normalisation of first-order logic Predicate logic Proof Theory Proofs Recursive functions Second order logic Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0262811 |
Dalen, Dirk van
![]() |
||
Berlin, : Springer, 1983 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic and structure / Dirk van Dalen |
Autore | Dalen, Dirk van |
Pubbl/distr/stampa | Berlin, : Springer, 1980 |
Descrizione fisica | ix, 174 p. ; 24 cm |
Soggetto non controllato |
Basic model theory
Computability theory First-order logic with natural deduction Goedel's theorem Intuitionistic logic and semantics Model theory Normalisation of first-order logic Predicate logic Proof Theory Proofs Recursive functions Second order logic Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0261614 |
Dalen, Dirk van
![]() |
||
Berlin, : Springer, 1980 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|