Logica: Volume 1 - Dimostrazioni E Modelli Al Primo Ordine - Unitext / La Matematica Per Il 3+2 - Vito Michele Abrusci - Libros - Springer Verlag - 9788847055377 - 24 de octubre de 2014
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 28,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

?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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 24 de octubre de 2014
ISBN13 9788847055377
Editores Springer Verlag
Páginas 190
Dimensiones 159 × 237 × 10 mm   ·   290 g
Lengua Italian  

Mere med samme udgiver

Ver todo de Vito Michele Abrusci ( Ej. Paperback Book )