Contacto
Como comprar
Entrega
Guia de compras
Inglês
225 b
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
13.52
€
/
Capa mole
23.82
€
/
Calendário
16.45
€
/
Capa mole
32.60
€
/
Capa mole
7.46
€
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in "Part I", this book starts with recursion theory, a topic essential for the complete scientist. Then follows Godel's incompleteness theorems and axiomatic set theory. Chapter 8 provides an introduction to model theory. There are examples throughout each section, and varied selection of exercises at the end. Answers to the exercises are given in the appendix.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
7.26
€
/
Capa mole
15.94
€
/
Capa mole
9.78
€
/
Adobe ePub DRM
28.16
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?