Handbook of logic in computer science
Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-
Oxford Clarendon New York Oxford University Press 1992-<2000>
Localização:
EPBC - Esc. Politécnica-Bib Central
(004 H191 v.4 ) e outros locais(Acessar)