adicionar à lista de desejos
Proofs And Computations
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, dezembro de 2011 ‧
ver detalhes do produto
106,80€
10% DESCONTO
CARTÃO
YTBFelpVNU9OVkUwYW1SNmIyOVVRMUU1UmsxbmRqUlJSVWRLY25sQmNqTk5TMGxoTVRWWlJUaDNPVkZRVUhOSmJFSjJTR2swU205MVltODJlR292YlZnNFpHTldkRkpYUjNOa1kybDJOazVNYkdGM1kwaFFiSGxZYlhCUWFESlZka2RHU2tabFpIcElVM0Z1VTFGeVkyVnFjV1JyVHpkQk1FaEVaQzlqWVhCd1RXNUpVVk4xVEc4NVJsazFkU3MwV0VGekx6WnZiVWhVYkN0T1RXUkhTbW92UkdwaGJWVlZRbXBYV2xCd1UweE9PRzVEY25wTFZ5OUNSVFpPUjJWWldIRllhME5qVVVvMmREUXlUR2hLUkcxTlNVaHJXa3BKU2pOT2VVd3lWVU5zWTI1VlRFaDZZM2RoU2psalMydElVR1ZFZGtGMU5GZ3ZiMFV5VG14RE1rdEJWWE5QUzB3NVF6Wk1USHBzV0dOc2NtbFNPRlJwWnpWTlZYZzVhMUZNTUZWR01XbDFUVXhGTDBFM1pXWnBjbVpuYVRreFRWaFllVmRLUzJKRE9XNUZRME15VUdzMFoyODNkRFZyVERWMkswRjBRalkyZURWalJUQlZXVkF6VmtOeEx6UktRMUpUZDFwd1QzcEpVVzlwWmtWMEswMUlTWFJDY2l0WWNYbzVTbHBRUld4WVVHeGpORGd5U0VjeGMxSlhiRzgzWWxkcE1WUkxTVGR3YjJGMWJqUTNZV1pxYkRWSmFFeDJjMmxCU0cxVlRrOUJWM3BzUXpSaGFUZzFiVzl5WTBKeVVuZHlTalZLTmtKSVIyUlJWV3hxVG1SNVp6Rk5ZMjlOTDFKcFlsUjBWeTh4V1doRlIydEpORVJhVEdkRWVsQnBNRmhKWlRJNVNVYzFkbVJNUVRaNlVTOW1PVXB6UVU1U1ZETkRNU3QyVUhSbmFGZGlPSFZzWjJkalNHWTNRbVJLYjB3eE5GZGxWMDFRV0ZSWmExWnVUR2xLTnpRNFYwWXZhVmgyYjI4elF6WnJjbUpPU2pSNVpsbHhRM0pFTW5KWU5sZERWVXRFY0ZsUWRtYzBhSFpXV0hOUlpHZFRia2c1YzNBd1oycFpOSFpWUzBwamNUWklha1poVWtKRVJXdGxkblJxVW1wUk9WZEJjbGhtWTNBM1NteDViV1Z1VVVVdlRVSm5ZVXA0TWxSV00zZEpNRzlLU0dGaFRXTkNUVzVOWVVaSUx6VnJhR1F6Vm01UFNuUnpaMDVsZFVWNVJsazBZM0ZwTjFwTmNucElVMk51SzFGTVZtUkZZMFpxUkhsT2NYRTRSR1ZEWjNkb1YwbDZkRFJ4V1Vob1VIQmlaV1ptY1Zwbk0yRkNiVEJzUzJ4cVJ6RjVVRTFIVEVZdmJWZDJZV0poZEhSMk1FZDVaMEpJYVVSemJXeEZVMlo0YVRoQmFtMTNSeXRLU1dOcVoybEphVE0zYW1Kc09BPT06L2gvYi8yd29KY3pBKzFsYnpxa0hEZz09
portes grátis
Venda o seu livro
SINOPSE
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780521517690 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | dezembro de 2011 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 480 |
| Tipo de produto: | Livro |
| Coleção: | Perspectives In Logic |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780521517690 |
LIVROS DA MESMA COLEÇÃO
-
10%Computable Structure TheoryCAMBRIDGE UNIVERSITY PRESS139,92€
155,47€portes grátis -
10%Computability In Analysis And PhysicsCAMBRIDGE UNIVERSITY PRESS163,58€ 10% CARTÃOportes grátis