High Quality Content by WIKIPEDIA articles! Realizability is a part of proof theory which can be used to handle information about formulas instead of about the proofs of formulas. A natural number n is said to realize a statement in the language of arithme

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

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