Can I read Вычислимость и логика on EtoBox?

Вычислимость и логика by Булос Дж., Джеффри Р. is a nonfiction available to read on EtoBox.

What is Вычислимость и логика about?

Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями. Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.

Who reads Вычислимость и логика?

Author

Булос Дж., Джеффри Р.

Publisher

Мир

Published

1994

Language

RU

ISBN

9785030030678

Category

nonfiction

Subjects

Mathematics, Logic, Stem