High Quality Content by WIKIPEDIA articles! In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules

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

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