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.
Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker
| Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker |
| Autore | Karp, Carol |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | 206 p. : port. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Kueker, David W. |
| Collana | Lecture notes in mathematics, 0075-8434 ; 492 |
| Soggetto topico |
Infinitary languages-addresses, essays, lectures
Karp, Carol, 1926-1972 Mathematical logic - Congresses Model theory-addresses, essays, lectures |
| ISBN | 3540074198 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000994489707536 |
Karp, Carol
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers / by Various Authors ; edited by D.W. Kueker
| Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers / by Various Authors ; edited by D.W. Kueker |
| Autore | Kueker, David W. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1975 |
| Descrizione fisica | 206 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-07419-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001019280403321 |
|
Kueker, David W.
|
||
| Berlin [etc.] : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers by Various Authors / Edited by D. W. Kueker
| Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers by Various Authors / Edited by D. W. Kueker |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | 206 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Cxx - Model theory [MSC 2020] 03C75 - Other infinitary logic [MSC 2020] 03C30 - Other model constructions [MSC 2020] |
| Soggetto non controllato |
Finite
Infinite Logic Language Logic Techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256434 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers by Various Authors / Edited by D. W. Kueker
| Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers by Various Authors / Edited by D. W. Kueker |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | 206 p. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03C30 - Other model constructions [MSC 2020] 03C75 - Other infinitary logic [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Finite
Infinite Logic Language Logic Techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00256434 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Infinitary logic: in memoriam Carol Karp [e-book] : a collection of papers by various authors / edited by David W. Kueker
| Infinitary logic: in memoriam Carol Karp [e-book] : a collection of papers by various authors / edited by David W. Kueker |
| Pubbl/distr/stampa | Berlin : Springer, 1975 |
| Descrizione fisica | 1 online resource (ix, 208 p.) |
| Disciplina | 510 |
| Altri autori (Persone) | Kueker, David W. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 492 |
| Soggetto topico | Mathematics |
| ISBN | 9783540379492 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002179409707536 |
| Berlin : Springer, 1975 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Learning and geometry : computational approaches / David Kueker, Karl Smith editors
| Learning and geometry : computational approaches / David Kueker, Karl Smith editors |
| Autore | Kueker, David W. |
| Pubbl/distr/stampa | Boston : Birkhauser, 1996 |
| Descrizione fisica | xiii, 210 p. ; 26 cm. |
| Disciplina | 516 |
| Altri autori (Persone) | Smith, Carl H. |
| Collana | Progress in computer science and applied logic ; 14 |
| Soggetto topico | Geometry - Congresses |
| ISBN | 0817638253 |
| Classificazione |
AMS 51-06
AMS 51-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001059939707536 |
|
Kueker, David W.
|
||
| Boston : Birkhauser, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Learning and geometry : computational approaches / David Kueker, Carl Smith editors
| Learning and geometry : computational approaches / David Kueker, Carl Smith editors |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 1996 |
| Descrizione fisica | XIII, 210 p. : ill. ; 26 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
52-XX - Convex and discrete geometry [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN |
08-17-63825-3
978-08-17-63825-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053200 |
| Boston [etc.], : Birkhäuser, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Learning and geometry : computational approaches / David Kueker, Carl Smith editors
| Learning and geometry : computational approaches / David Kueker, Carl Smith editors |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 1996 |
| Descrizione fisica | XIII, 210 p. : ill. ; 26 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
52-XX - Convex and discrete geometry [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| ISBN |
08-17-63825-3
978-08-17-63825-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053200 |
| Boston [etc.], : Birkhäuser, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Learning and geometry : computational approaches / David Kueker, Carl Smith editors
| Learning and geometry : computational approaches / David Kueker, Carl Smith editors |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 1996 |
| Descrizione fisica | XIII, 210 p. : ill. ; 26 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
52-XX - Convex and discrete geometry [MSC 2020] 68-XX - Computer science [MSC 2020] |
| ISBN |
08-17-63825-3
978-08-17-63825-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053200 |
| Boston [etc.], : Birkhäuser, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic and Theoretical Computer Science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
| Mathematical Logic and Theoretical Computer Science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith |
| Autore | Kueker, David W. |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, 1987 |
| Descrizione fisica | xviii, 383 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-8247-7746-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001093780403321 |
|
Kueker, David W.
|
||
| New York [etc.] : Marcel Dekker, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
