Logica: Volume 1 - Dimostrazioni E Modelli Al Primo Ordine - Unitext / La Matematica Per Il 3+2 - Vito Michele Abrusci - Livros - Springer Verlag - 9788847055377 - 24 de outubro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Vito Michele Abrusci
Logica: Volume 1 - Dimostrazioni E Modelli Al Primo Ordine - Unitext / La Matematica Per Il 3+2 Italian, 2014 edition

Preço
R$ 151,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Vito Michele Abrusci

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

?Sulla base dell'esperienza di ricerca maturata dagli autori (in particolare delle idee provenienti dalla Logica Lineare di Girard), l'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari: - i teoremi fondamentali della logica del primo ordine (compattezza, completezza, eliminazione del taglio), e le loro principali conseguenze,- le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza,- gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e le loro principali conseguenze.

190 pages, bibliography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 24 de outubro de 2014
ISBN13 9788847055377
Editoras Springer Verlag
Páginas 190
Dimensões 159 × 237 × 10 mm   ·   290 g
Idioma Italiano  

Mais da mesma editora

Ver tudo de Vito Michele Abrusci