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

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

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

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

Это интересно...

Наши контакты

Рейтинг@Mail.ru

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