Descripción del título
Logica [Volume 1 Dimostrazi...
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 universitari di secondo livello. Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze. Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale
Monografía
monografia Rebiun16321597 https://catalogo.rebiun.org/rebiun/record/Rebiun16321597 cr nn 008mamaa 141115s2014 it | s |||| 0|ita d 9788847055384 UPVA 997151913803706 UAM 991007633768504211 CBUC 991005191043706711 UR0378889 UNAV 511.3 23 Abrusci, Vito Michele Logica Recurso electrónico] Volume 1 Dimostrazioni e modelli al primo ordine by Vito Michele Abrusci, Lorenzo Tortora Falco Milano Springer Milan 2014 Milano Milano Springer Milan IX, 190 p. IX, 190 p. UNITEXT 80 Springer eBooks 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 universitari di secondo livello. Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze. Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale Forma de acceso: World Wide Web Falco, Lorenzo Tortora SpringerLink