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.
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 Computer science [MSC 2010] 68-XX
General logic [MSC 2010] 03Bxx
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: 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 Mathematical logic and foundations [MSC 2010] 03-XX
History of mathematics and mathematicians [MSC 2010] 01Axx
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 Mathematical logic and foundations [MSC 2010] 03-XX
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
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
Edizione [Amsterdam : Elsevier, 2006]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico Modal logic (including the logic of norms) [MSC 2010] 03B45
ISBN 8-0-444-51622-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0092510
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Elements of classical logic
Elements of classical logic
Autore Guenthner, Franz
Pubbl/distr/stampa Dordrecht [etc.] : D. Reidel, c1983
Descrizione fisica XI, 493 p. ; 23 cm
Altri autori (Persone) Gabbay, Dov M.
Collana Handbook of philosophical logic ; 1
Synthese library
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b12128491
Guenthner, Franz  
Dordrecht [etc.] : D. Reidel, c1983
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Extensions of classical logic
Extensions of classical logic
Autore Guenthner, Franz
Pubbl/distr/stampa Dordrecht [etc.] : D. Reidel, c1984
Descrizione fisica X, 776 p. ; 23 cm
Altri autori (Persone) Gabbay, Dov M.
Collana Handbook of philosophical logic ; 2
Synthese library
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b12128508
Guenthner, Franz  
Dordrecht [etc.] : D. Reidel, c1984
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
Pubbl/distr/stampa Oxford : Clarendon, 1992-
Descrizione fisica v. ; 24 cm.
ISBN 01-985373-5-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050956
Oxford : Clarendon, 1992-
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
Pubbl/distr/stampa Oxford : Clarendon, 1992-
Descrizione fisica v. ; 24 cm.
Disciplina 004
Soggetto topico Informatica
Logica simbolica
Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-MIL0138942
Oxford : Clarendon, 1992-
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Handbook of the history of logic. Vol. 7, Logic and the modalities in the twentieth century [electronic resource] / edited by Dov M. Gabbay and John Woods
Handbook of the history of logic. Vol. 7, Logic and the modalities in the twentieth century [electronic resource] / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam : Elsevier North Holland
Descrizione fisica v.: digital
Disciplina 160.9
Altri autori (Persone) Gabbay, Dov M.
Woods, John Hayden
Soggetto topico Logic -- History
ISBN 9780444516220
0444516220
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Logic and the modalities in the twentieth century
Record Nr. UNISALENTO-b13659625
Amsterdam : Elsevier North Holland
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Handbook of the history of logic [electronic resource] / edited by Dov M. Gabbay and John Woods
Handbook of the history of logic [electronic resource] / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam ; Boston : Elsevier, 2004-
Descrizione fisica v. <1> p. : ill. ; 25 cm
Disciplina 511.3
Altri autori (Persone) Gabbay, Dov M.
Woods, John Hayden
Soggetto topico Logic -- History
ISBN 9780444504661
0444504664
Classificazione AMS 01-02
AMS 03-03
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto v. 1: Greek, Indian, and Arabic logic
Record Nr. UNISALENTO-b13659030
Amsterdam ; Boston : Elsevier, 2004-
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui