Diagonal Methods and Strong Cuts in Models of Arithmetic / Kenneth Mc Aloon |
Autore | McAloon, Kenneth |
Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1978 |
Descrizione fisica | 171-297 ; 22 cm |
Disciplina | 160 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001028700403321 |
McAloon, Kenneth
![]() |
||
Amsterdam [etc.] : North-Holland, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic colloquium, '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Macintyre, Angus, Leszek Pacholski, Jeff Paris |
Autore | Macintyre, Angus |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1978 |
Descrizione fisica | x, 311 p. ; 24 cm. |
Disciplina | 511.3 |
Altri autori (Persone) |
Pacholski, Leszek
Paris, Jeff |
Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 96 |
Soggetto topico |
Mathematical logic - Congresses
Symbolic logic - Congresses |
ISBN | 044485178X |
Classificazione |
AMS 03-06
AMS 03-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001094649707536 |
Macintyre, Angus
![]() |
||
Amsterdam : North-Holland, 1978 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1 - 7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wi lkie |
Autore | Conference on Applications of Logic to Algebra and Arthmetic : <1979 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1980 |
Descrizione fisica | VI, 410 p. ; 25 cm. |
Disciplina | 511.8 |
Collana | Lecture notes in mathematics |
Soggetto topico | Teoria dei modelli - Congressi |
ISBN | 3-540-10269-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000014491 |
Conference on Applications of Logic to Algebra and Arthmetic : <1979
![]() |
||
Berlin [etc.] : Springer, 1980 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie |
Autore | Pacholski, Leszek |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1980 |
Descrizione fisica | vi, 410 p. : ill. ; 24 cm. |
Disciplina | 510 |
Altri autori (Persone) |
Wierzejewski, Jedrzej
Wilkie, Alec J. |
Collana | Lecture notes in mathematics, 0075-8434 ; 834 |
Soggetto topico | Model theory - Congresses |
ISBN | 3540102698 |
Classificazione | AMS 03C |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001149469707536 |
Pacholski, Leszek
![]() |
||
Berlin : Springer-Verlag, 1980 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie |
Pubbl/distr/stampa | Berlin, : Springer, 1980 |
Descrizione fisica | vi, 410 p. ; 24 cm. |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
ISBN | 978-35-401-0269-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0132263 |
Berlin, : Springer, 1980 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Model theory of algebra and arithmetic [e-book] : proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1 – 7, 1979 / edited by Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie |
Pubbl/distr/stampa | Berlin : Springer, 1980 |
Descrizione fisica | 1 online resource (410 p.) |
Disciplina | 511.3 |
Altri autori (Persone) |
Pacholski, Leszek
Wierzejewski, Jedrzej Wilkie, Alec J. |
Collana | Lecture Notes in Mathematics, 0075-8434 ; 834 |
Soggetto topico |
Mathematics
Algebra Logic, Symbolic and mathematical |
ISBN | 9783540383932 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991002187939707536 |
Berlin : Springer, 1980 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie |
Pubbl/distr/stampa | Berlin, : Springer, 1980 |
Descrizione fisica | vi, 410 p. ; 24 cm |
Soggetto topico | 03Cxx - Model theory [MSC 2020] |
Soggetto non controllato |
Algebra
Arithmetic Differential equations Minimum Model theory |
ISBN | 978-35-401-0269-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0132263 |
Berlin, : Springer, 1980 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie |
Pubbl/distr/stampa | Berlin, : Springer, 1980 |
Descrizione fisica | vi, 410 p. ; 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
Arithmetic Differential equations Minimum Model theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0261630 |
Berlin, : Springer, 1980 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|