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)
Lecture notes in logic
Lecture notes in logic
Pubbl/distr/stampa Chicago, : Association for symbolic logic
Formato Materiale a stampa
Livello bibliografico Collezione
Lingua di pubblicazione und
Record Nr. UNICAMPANIA-VAN0065132
Chicago, : Association for symbolic logic
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Lecture notes in logic
Lecture notes in logic
Pubbl/distr/stampa Chicago, : Association for symbolic logic
Formato Materiale a stampa
Livello bibliografico Collezione
Lingua di pubblicazione und
Record Nr. UNICAMPANIA-VAN00065132
Chicago, : Association for symbolic logic
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic colloquium 2004 : proceedings of the annual european summer meeting of the Association for symbolic logic, held in Torino, Italy, july 25-31, 2004 / edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella
Logic colloquium 2004 : proceedings of the annual european summer meeting of the Association for symbolic logic, held in Torino, Italy, july 25-31, 2004 / edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella
Autore Logic colloquium : 2004
Pubbl/distr/stampa Chicago, : Association for symbolic logic
Descrizione fisica XII, 220 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-05-218-8424-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0065129
Logic colloquium : 2004  
Chicago, : Association for symbolic logic
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic colloquium 2005 : proceedings of the annual european summer meeting of the Association for symbolic logic, held in Athens, Greece, July 28-August 3, 2005 / edited by Costas Dimitracopoulos ... [et al.]
Logic colloquium 2005 : proceedings of the annual european summer meeting of the Association for symbolic logic, held in Athens, Greece, July 28-August 3, 2005 / edited by Costas Dimitracopoulos ... [et al.]
Autore Logic colloquium : 2005
Pubbl/distr/stampa Chicago, : Association for symbolic logic
Descrizione fisica XIII, 272 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-05-218-8425-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0065134
Logic colloquium : 2005  
Chicago, : Association for symbolic logic
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Recursion theory / Joseph R. Shoenfield
Recursion theory / Joseph R. Shoenfield
Autore Shoenfield, Joseph R.
Pubbl/distr/stampa Urbana, Ill., : Association for symbolic logic, 1993
Descrizione fisica 96 p. ; 24 cm.
Soggetto topico 03Dxx - Computability and recursion theory [MSC 2020]
ISBN 978-15-688-1149-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050878
Shoenfield, Joseph R.  
Urbana, Ill., : Association for symbolic logic, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Recursion theory / Joseph R. Shoenfield
Recursion theory / Joseph R. Shoenfield
Autore Shoenfield, Joseph R.
Pubbl/distr/stampa Urbana, Ill., : Association for symbolic logic, 1993
Descrizione fisica 96 p. ; 24 cm
Soggetto topico 03Dxx - Computability and recursion theory [MSC 2020]
ISBN 978-15-688-1149-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0050878
Shoenfield, Joseph R.  
Urbana, Ill., : Association for symbolic logic, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Recursion theory / Joseph R. Shoenfield
Recursion theory / Joseph R. Shoenfield
Autore Shoenfield, Joseph R.
Pubbl/distr/stampa Urbana, Ill., : Association for symbolic logic, 1993
Descrizione fisica 96 p. ; 24 cm
Soggetto topico 03Dxx - Computability and recursion theory [MSC 2020]
ISBN 978-15-688-1149-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00050878
Shoenfield, Joseph R.  
Urbana, Ill., : Association for symbolic logic, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Stable domination and independence in algebraically closed valued fields / Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Stable domination and independence in algebraically closed valued fields / Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson
Autore Haskell, Deirdre
Pubbl/distr/stampa Chicago, : Association for symbolic logic
Descrizione fisica XI, 182 p. ; 24 cm.
Altri autori (Persone) Macpherson, Dugald
Hrushovski, Ehud
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-05-218-8981-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0065125
Haskell, Deirdre  
Chicago, : Association for symbolic logic
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The Journal of symbolic logic / Association for symbolic logic
The Journal of symbolic logic / Association for symbolic logic
Pubbl/distr/stampa Menasha, : Association for symbolic logic, 1936
Descrizione fisica volumi : ill. ; 26 cm
Disciplina 511.305
Soggetto topico Logica matematica - Periodici
ISSN 0022-4812
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Note periodicità Trimestrale
Record Nr. UNISA-990003482280203316
Menasha, : Association for symbolic logic, 1936
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui