Издательство: | Книга по требованию |
Дата выхода: | июль 2011 |
ISBN: | 978-6-1328-2381-6 |
Объём: | 68 страниц |
Масса: | 123 г |
Размеры(В x Ш x Т), см: | 23 x 16 x 1 |
High Quality Content by WIKIPEDIA articles! In mathematical logic, cointerpretability is a binary relation on formal theories: a formal theory T is cointerpretable in another such theory S, when the language of S can be translated into the language of T in such a way that S proves every formula whose translation is a theorem of T. The "translation" here is required to preserve the logical structure of formulas.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.