top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Pubbl/distr/stampa New York [etc.] : Marcel Dekker, c1987
Descrizione fisica XVIII, 383 p. ; 26 cm.
Disciplina 511.3
Collana Lecture notes in pure and applied mathematics
Soggetto topico Logica matematica
Algebra
Elaborazione elettronica
ISBN 0-8247-7746-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000015971
New York [etc.] : Marcel Dekker, c1987
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui