Treffer: Hanbdook of logic in computer science.
Titel:
Hanbdook of logic in computer science. / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum
Beteiligt:
Veröffentlicht:
Oxford : Oxford University Press, 2020
Vertrieb:
Oxford : Oxford University Press
Umfang:
1 Online-Ressource (xviii, 537 pages) : Illustrations.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Oxford scholarship online
Anmerkungen:
Previously issued in print: Oxford: Clarendon Press, 2000
Includes bibliographical references and index
Includes bibliographical references and index
ISBN:
9780191916663 ; 9780198537816 (Sekundärausgabe)
DOI:
10.1093/oso/9780198537816.001.0001