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)
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
Pubbl/distr/stampa Oxford, : Clarendon, 1992
Descrizione fisica XII, 827 p. ; 24 cm.
Soggetto topico 68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 01-985373-5-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050957
Oxford, : Clarendon, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
Pubbl/distr/stampa Oxford, : Clarendon, 1992
Descrizione fisica XII, 827 p. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 01-985373-5-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0050957
Oxford, : Clarendon, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
Pubbl/distr/stampa Oxford, : Clarendon, 1992
Descrizione fisica XII, 827 p. ; 24 cm
Soggetto topico 03Bxx - General logic [MSC 2020]
68-XX - Computer science [MSC 2020]
ISBN 01-985373-5-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00050957
Oxford, : Clarendon, 1992
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam, : Elsevier, 2004
Descrizione fisica VIII, 618 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0092459
Amsterdam, : Elsevier, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam, : Elsevier, 2004
Descrizione fisica VIII, 618 p. ; 24 cm
Soggetto topico 01Axx - History of mathematics and mathematicians [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00092459
Amsterdam, : Elsevier, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
Edizione [Amsterdam : Elsevier, 2004]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
ISBN 8-0-444-50466-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0092459
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
3: The rise of modern logic : from Leibniz to Frege / edited by Dov M. Gabbay and John Woods
3: The rise of modern logic : from Leibniz to Frege / edited by Dov M. Gabbay and John Woods
Edizione [Amsterdam : Elsevier, 2004]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 8-0-444-51611-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0092532
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
3: The rise of modern logic: from Leibniz to Frege / edited by Dov M. Gabbay and John Woods
3: The rise of modern logic: from Leibniz to Frege / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam, : Elsevier, 2004
Descrizione fisica X, 770 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0092532
Amsterdam, : Elsevier, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
3: The rise of modern logic: from Leibniz to Frege / edited by Dov M. Gabbay and John Woods
3: The rise of modern logic: from Leibniz to Frege / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam, : Elsevier, 2004
Descrizione fisica X, 770 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00092532
Amsterdam, : Elsevier, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
7: Logic and the modalities in the twentieth century / edited by Dov M. Gabbay and John Woods
7: Logic and the modalities in the twentieth century / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam, : Elsevier, 2006
Descrizione fisica XII, 719 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01-XX - History and biography [MSC 2020]
03B45 - Modal logic (including the logic of norms) [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0092510
Amsterdam, : Elsevier, 2006
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui