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.
Logic programming and non-monotonic reasoning : proceedings of the first international workshop held July 1991, Washington D.C. / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
| Logic programming and non-monotonic reasoning : proceedings of the first international workshop held July 1991, Washington D.C. / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian |
| Pubbl/distr/stampa | Cambridge, Mass. : MIT Press, 1991 |
| Descrizione fisica | vi, 288 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-262-64027-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001029200403321 |
| Cambridge, Mass. : MIT Press, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach
| Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach |
| Autore | Conference on set theory and hierarchy theory <1975 ; Bierutowice> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1976 |
| Descrizione fisica | xiii, 345 p. ; 25 cm |
| Disciplina | 511.322 |
| Altri autori (Persone) |
Marek, Wiktor
Srebrny, Marian Zarach, Andrzej |
| Collana | Lecture notes in mathematics, 0075-8434 ; 537 |
| Soggetto topico |
Model theory - Congresses
Mostowski, Andrzej-bibliography Recursive functions - Congresses Set theory - Congresses |
| ISBN | 3540078568 |
| Classificazione |
AMS 03-06
AMS 03E |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001339949707536 |
Conference on set theory and hierarchy theory <1975 ; Bierutowice>
|
||
| Berlin ; New York : Springer-Verlag, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Set Theory and Hierarchy Theory : A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 / Edited by W. Marek, M. Srebrny and A. Zarach
| Set Theory and Hierarchy Theory : A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 / Edited by W. Marek, M. Srebrny and A. Zarach |
| Pubbl/distr/stampa | Berlin, : Springer, 1976 |
| Descrizione fisica | xiii, 345 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
Functions Logic Models Ordinals Recursion Recursive functions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0257527 |
| Berlin, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set Theory and Hierarchy Theory : A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 / Edited by W. Marek, M. Srebrny and A. Zarach
| Set Theory and Hierarchy Theory : A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 / Edited by W. Marek, M. Srebrny and A. Zarach |
| Pubbl/distr/stampa | Berlin, : Springer, 1976 |
| Descrizione fisica | xiii, 345 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
Functions Logic Models Ordinals Recursion Recursive functions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00257527 |
| Berlin, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set theory and Hierarchy theory a memorial tribute to Andrzej Mostowski [e-book] : Bierutowice, Poland 1975 / edited by Wiktor Marek ... [et al.]
| Set theory and Hierarchy theory a memorial tribute to Andrzej Mostowski [e-book] : Bierutowice, Poland 1975 / edited by Wiktor Marek ... [et al.] |
| Pubbl/distr/stampa | Berlin : Springer, 1976 |
| Descrizione fisica | 1 online resource (345 p.) |
| Disciplina | 510 |
| Altri autori (Persone) | Marek, Wiktor |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 537 |
| Soggetto topico | Mathematics |
| ISBN | 9783540381228 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002183109707536 |
| Berlin : Springer, 1976 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||