Crie uma conta gratuita e continue exatamente desta página.
Crie uma conta gratuita e continue exatamente desta página.
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
Outros livros de Raymond M. Smullyan
Livros na mesma categoria
Numerical Mathematics
Dmitry Pelinovsky
Extraterrestrials
Hart & Bourne
Music And Mathematics
Raymond | Wilson Robin | Fauvel John Flood
Seguidores de Maxwell, os
Bruce J. Hunt
Introduction To Numerical Methods In C++, An
B. H. Flowers
Treatise On The Theory Of Bessel Functions, a
G. N. Watson
Mathematica Book 5, The
Stephen Wolfram
Geometria Descritiva - Vol. 1
Gildo Montenegro
Cientifica - o Guia Completo do Mundo da Ciencia
Allan R. Glanville
Historia de La Ciencia Tomo 1 - de San Agustin a Galileu
A. C. Crombie
MatemáTica do Ensino: Alguns Ensaios
Sets For Mathematics
F. William | Rosebrugh Robert Lawvere
Dicas e recomendações para leitores
Algoritmos de recomendação, chatbots literários, resumos automáticos, a IA está mudando a relação das pessoas com os livros. O que muda para bem, o que preocupa e o que vem a seguir.
O smartphone acabou com nossa capacidade de atenção, ou será que não? Técnicas comprovadas para ler com profundidade mesmo quando o cérebro insiste em pedir estímulo a cada minuto.
Da Jane Austen ao romance brasileiro contemporâneo, o gênero que mais vende e mais une pessoas ao redor de histórias de amor. Uma seleção para quem quer sentir tudo.
Para escolas, universidades, autores e editoras
