High Quality Content by WIKIPEDIA articles! In mathematical logic, the deduction theorem is a metatheorem of first-order logic. It is a formalization of the common proof technique in which an implication A ? B is proved by assuming A and then proving B fro

В наличии:
	Sprinter - 1008 руб.	Перейти		Лучшая цена
	Books.Ru - 1128 руб.	Перейти

Рейтинг книги: 4 из 5, 3 голос(-ов).