Contacto
Como comprar
Entrega
Guia de compras
Inglês
259 b
Até 30 dias para devoluções
Os clientes também compraram
/
Capa mole
28.15
€
/
Calendário
18.73
€
/
Capa mole
14.47
€
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
8.60
€
/
Capa mole
18.93
€
/
Capa mole
12.04
€
/
Calendário
28.45
€
/
Livro de capa dura
110.29
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?