Vai al contenuto principale della pagina

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
(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum Visualizza cluster
Pubblicazione: Oxford, : Clarendon, 1992-
Descrizione fisica: v. ; 24 cm.
Disciplina: 004
Soggetto topico: Informatica
Logica simbolica
Logica matematica
Persona (resp. second.): Abramsky, Samson <1953- >
Gabbay, Dov M.
Maibaum, Thomas S. E. <1947- >
Titolo autorizzato: Handbook of logic in computer science  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: MIL0138942
Lo trovi qui: Univ. del Sannio
Collocazione: SALA DING 004 HANOLI
Opac: Controlla la disponibilità qui
Comprende: Vol. 1: Background : mathematical structures / volume co-ordinator Dov M. Gabbay ; 1 Vol. 2: Background : computational structures / volume co-ordinator Dov M. Gabbay ; 2