Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine - Paolo Maffezioli - copertina
Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine - Paolo Maffezioli - copertina
Dati e Statistiche
Wishlist Salvato in 8 liste dei desideri
Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine
Disponibilità in 3 giorni lavorativi
19,74 €
19,74 €
Disp. in 3 gg lavorativi
Chiudi

Altre offerte vendute e spedite dai nostri venditori

Altri venditori
Prezzo e spese di spedizione
Emozioni Media Store
Spedizione 6,30 €
19,74 €
Vai alla scheda completa
Multiservices
Spedizione 5,50 €
18,00 €
Vai alla scheda completa
Infinito
Spedizione 3,99 €
19,80 €
Vai alla scheda completa
ibs
Spedizione Gratis
-5% 18,00 € 17,10 €
Vai alla scheda completa
Libreria Bortoloso
Spedizione 6,30 €
18,00 €
Vai alla scheda completa
Libreria Nani
Spedizione 7,50 €
18,00 €
Vai alla scheda completa
Altri venditori
Prezzo e spese di spedizione
Emozioni Media Store
Spedizione 6,30 €
19,74 €
Vai alla scheda completa
Multiservices
Spedizione 5,50 €
18,00 €
Vai alla scheda completa
Infinito
Spedizione 3,99 €
19,80 €
Vai alla scheda completa
ibs
Spedizione Gratis
-5% 18,00 € 17,10 €
Vai alla scheda completa
Libreria Bortoloso
Spedizione 6,30 €
18,00 €
Vai alla scheda completa
Libreria Nani
Spedizione 7,50 €
18,00 €
Vai alla scheda completa
Altri venditori
Prezzo e spese di spedizione
Chiudi
Emozioni Media Store
Chiudi
Multiservices
Chiudi
Infinito
Chiudi
ibs
Chiudi
Libreria Bortoloso
Chiudi
Libreria Nani
Chiudi

Tutti i formati ed edizioni

Chiudi
Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine - Paolo Maffezioli - copertina
Chiudi

Promo attive (0)

Descrizione


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.
Leggi di più Leggi di meno

Argomenti

Informazioni dal venditore

Venditore:

Emozioni Media Store
Emozioni Media Store Vedi tutti i prodotti

Dettagli

2022
1 gennaio 2022
Brossura
9788849156812
Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Informazioni e Contatti sulla Sicurezza dei Prodotti

Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da IBS, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.ibs.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.

Per informazioni sulla sicurezza dei prodotti, contattare productsafetyibs@feltrinelli.it

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore