Список литературы

Генератор кроссвордов

Генератор титульных листов

Таблица истинности ONLINE

Прочие ONLINE сервисы

 
 

Математическая логика

Список источников >Математика >Алгебра >Математическая логика >

Undecidable theories
Автор: Tarski A.
Год: 1971
Издание:

Страниц: [не указано]
ISBN: [не указан]
This monography consists of three papers: "A general method in proofs of undecidability", "Undecidability and essential undecidability in arithmetic", "Undecidability of the elementary theory of groups".
Добавлено: 2009-08-09 01:26:36

Похожие книги

Источник: Tarski A., Undecidable theories Tarski A.Undecidable theories Источник: Sonia Austrian, Developmental Theories Through the Life Cycle Sonia AustrianDevelopmental Theories Through the Life Cycle Источник: Davidson John, A new interpretation of Herbart's psychology and educational theory through the philosophy of Leibniz Davidson JohnA new interpretation of Herbart's psychology and educational theory through the philosophy of Leibniz

Видео о книгах:

Вход на сайт

Информация

В нашем каталоге

Околостуденческое
Рейтинг@Mail.ru

© 2009-2024, Список Литературы