Tipo de Livro
-Autor
-Editora
-Ano de Publicação
-Cidade
+Sebos e Livreiros
+Preço
+Categoria
+Idioma
+Avaliação
+Compra Corporativa
+Exibindo: 1 - 2 de 2 resultados
Definability and Computability
.SF-P910.Livro Novo Lacrado.In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theor...
1996
1 novo
R$ 180,23