Concepts of Proof in Mathematics, Philosophy, and Computer Science
Dieter Probst, Peter SchusterКатегорії:
Рік:
2016
Видавництво:
Walter de Gruyter GmbH
Мова:
english
Сторінки:
384
ISBN 10:
150150262X
ISBN 13:
9789401799447
Серії:
Ontos mathematical logic 6
Файл:
EPUB, 34.87 MB
IPFS:
,
english, 2016