Logica Volume 1 - Dimostrazioni e modelli al primo ordine /
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitar...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Abrusci, Vito Michele (Autor), Tortora de Falco, Lorenzo (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Italiano |
Publicado: |
Milano :
Springer Milan : Imprint: Springer,
2014.
|
Edición: | 1st ed. 2014. |
Colección: | La Matematica per il 3+2,
80 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Logica: Metodo Breve
por: Mundici, Daniele
Publicado: (2011) -
Logica Universalis Towards a General Theory of Logic /
Publicado: (2005) -
Logica Universalis Towards a General Theory of Logic /
Publicado: (2007) -
Institution-independent Model Theory
por: Diaconescu, Razvan
Publicado: (2008) -
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
por: Carnielli, Walter, et al.
Publicado: (2008)