Pular para o conteúdo
Ciências Exatas

Logic, Induction And Sets

1ª Edição - 2003244 páginasCambridge University Presspt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Sinopse

Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.

Detalhes do livro

Título
Logic, Induction And Sets
Autor
Thomas Foster
Editora
Cambridge University Press
Ano
2026
Páginas
244 páginas
Idioma
PT
ISBN-13
9780521533614
Edição
1ª Edição - 2003
Formato
Paperback

Ciências Exatas

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras