Title:
Background: computational structures; 2
Contributer:
Abramsky, S.
,
Gabbay, Dov M.
,
Maibaum, T. S. E.
Publisher:
Oxford u.a. :Oxford University Pr.,
Year of publication:
1992
Pages:
571 S.
Series Statement:
Handbook of logic in computer science 2
Type of Medium:
Book
Permalink