Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti
Autore principale: Nagel, Ernest
Serie: Biblioteca di cultura scientifica. Nuova serie ; 14
Serie: Biblioteca di cultura scientifica : nuova serie ; 14
Serie: Biblioteca di cultura scientifica. Serie azzurra ; 14
Serie: Biblioteca di cultura scientifica. N.S. ; 14
Serie: Universale Bollati Boringhieri. Serie scientifica ; 102
Serie: Universale scientifica Boringhieri ; 102
Serie: Universale Bollati Boringhieri ; 102
Serie: Universale Bollati Boringhieri. Serie scientifica ; 102
Serie: Universale Bollati Boringhieri. Serie scientifica ; 102
Serie: Universale Bollati Boringhieri ; 102
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.
Record aggiornato il: 2025-09-12T01:22:24.107Z