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

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

A Problem Course in Mathematical Logic (vol. 2)

Автор: Bilaniuk S.
Год: 1997
Издание:

Страниц: [не указано]
ISBN: [не указан]
This is the Volume II of a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of computability, using Turing machines and recursive functions, and Goedel's Incompleteness Theorem, and could be used for a one semester course on these topics. Volume I, Propositional and First-Order Logic, covers the basics of these topics through the Soundness, Completeness, and Compactness Theorems. Information on availability and the conditions under which this book may be used and reproduced are given in the preface.
Добавлено: 2009-08-09 01:26:36

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

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

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

Рейтинг@Mail.ru

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