libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro
ARGOMENTO:  LIBRI > FILOSOFIA > LOGICA

maffezioli paolo - teorema di interpolazione in logica classica, intuizionista e nelle teorie del p

TEOREMA DI INTERPOLAZIONE IN LOGICA CLASSICA, INTUIZIONISTA E NELLE TEORIE DEL P




Disponibilità: Normalmente disponibile in 10 giorni


PREZZO
18,00 €
NICEPRICE
17,10 €
SCONTO
5%



SPEDIZIONE GRATIS
con corriere veloce per acquisti oltre 29,00 €.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Dettagli

Genere:Libro
Lingua: Italiano
Editore:

CLUEB

Pubblicazione: 01/2020





Trama

Il teorema di interpolazione occupa una posizione centrale nel panorama delle ricerche logiche contemporanee, sia per gli aspetti squisitamente tecnici che per la sua notevole importanza concettuale. A partire dai risultati di William Craig e Kurt Schütte relativi alla logica classica ed intuizionista, l'attenzione degli studiosi si è rivolta principalmente alle logiche modali e, più in generale, non classiche. Decisamente meno esplorato è il filone di ricerca riguardante il teorema di interpolazione nelle teorie del primo ordine. Nel presente volume viene presentata la dimostrazione standard del teorema di interpolazione per la logica classica ed intuizionista, i cui dettagli sono spesso omessi o lasciati al lettore come esercizio nei manuali adottati nei corsi universitari di logica. Nella seconda parte, il testo offre una dettagliata panoramica sull'interpolazione nelle teorie del primo ordine e su alcuni sviluppi recenti della teoria della dimostrazione, tra cui le estensioni del teorema principale di Genzten alle teorie geometriche.










Altre Informazioni

ISBN:

9788849156812

Condizione: Nuovo
Collana: HEURESIS. LINGUAGGIO, LOGICA, SCIENZA
Formato: Brossura


Dicono di noi





Per noi la tua privacy è importante


Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.

Impostazioni cookie
Rifiuta Tutti i cookie
Accetto tutti i cookie
X