Background Mathematical Structures
S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (eds.)Категорії:
Рік:
1995
Видавництво:
Clarendon Press
Мова:
english
Сторінки:
672
ISBN 10:
0198537808
ISBN 13:
9780198537809
Серії:
Handbook of Logic in Computer Science: Volume 1
Файл:
DJVU, 5.24 MB
IPFS:
,
english, 1995