Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://lib.mexmat.ru/showsubject/215820. Показаны документы 1 - 1 из 1.
1. Barwise J., Etchemendy J., Allwein G. - Language, Proof and Logic ::
Электронная библиотека Попечительского совета . ... Barwise J., Etchemendy J., Allwein G. - Language, Proof and Logic . ... Название: Language, Proof and Logic . Авторы: Barwise J., Etchemendy J., Allwein G. Язык: . ... Arithmetic, first-order language of 38 . ... Artificial language 2-4 . ... Assumption for conditional proof 200 . ... Assumption for indirect proof 136 . ... First-order logic, language of, (fol) 2 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...
[
Сохраненная копия
]
Ссылки http://lib.mexmat.ru/books/530 -- 116.5 Кб -- 09.04.2016
Похожие документы
Похожие документы