Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Language: en
Pages: 288
Authors: Igor Lavrov
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most
Matemati?eskaja Logika, Teorija Algoritmov i Teorija Množestv
Language: en
Pages: 284
Authors: S. I. Adi︠a︡n
Categories: Mathematics
Type: BOOK - Published: 1977 - Publisher: American Mathematical Soc.

GET EBOOK

Papers celebrating Petr Sergeevič Novikov and his work in descriptive set theory and algorithmic problems of algebra.
Mathematical Logic
Language: en
Pages: 274
Authors: S. I. Adian
Categories: Algorithms
Type: BOOK - Published: 1977 - Publisher:

GET EBOOK

Set Theory for Computing
Language: en
Pages: 440
Authors: Domenico Cantone
Categories: Computers
Type: BOOK - Published: 2001-06-26 - Publisher: Springer Science & Business Media

GET EBOOK

"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective i
Algorithms for Constructing Computably Enumerable Sets
Language: en
Pages: 191
Authors: Kenneth J. Supowit
Categories: Computers
Type: BOOK - Published: 2023-05-23 - Publisher: Springer Nature

GET EBOOK

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unifi