Natural deduction: the logical basis of axiom systems
Anderson J.M., Johnstone Jr H.W.Категорії:
Рік:
1962
Видавництво:
Wadsworth
Мова:
english
Сторінки:
418
Файл:
DJVU, 2.97 MB
IPFS:
,
english, 1962