MARC21: Handbook of logic in computer science. edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. [electronic resource] / Volume 5, Logic and algebraic methods

Summary goes here

Salvato in:

Dettagli Bibliografici
Natura:	Libro
Lingua:	inglese
Soggetti:	Computer science. Logic, Symbolic and mathematical. Informatique. Logique symbolique et mathématique. Ciencia da computacao ou informatica. Logica e semantica de programacao. Programming. Electronic books.
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

era
format	Book
genre
geographic
id	bfbe7539-995f-4cce-b8f6-7ccfa43edc1d
isbn	9780191546273 (electronic bk.) 0191546275 (electronic bk.)
issn
language	eng
physical	1 online resource.
publication	– publisher: Clarendon Press dateOfPublication: 2000
publishDate	2000
subjects
title	Handbook of logic in computer science. edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. [electronic resource] / Volume 5, Logic and algebraic methods
topic	Computer science. Logic, Symbolic and mathematical. Informatique. Logique symbolique et mathématique. Ciencia da computacao ou informatica. Logica e semantica de programacao. Programming. Electronic books.