Scritti postumi
Categoria: LOGICA, Logica matematica, MATEMATICA.€34.00
Gli scritti postumi coprono quasi l’intero arco della produzione di Frege e costituiscono un complemento indispensabile per illuminare aspetti controversi dell’esegesi fregeana, seguire l’evoluzione delle dottrine di Frege sui temi cruciali della fondazione logicista quali la teoria della definizione, il concetto di numero naturale, le conseguenze dei paradossi insiemistici sul rapporto fra matematica, linguaggio e sistemi formali.
-
Aggiungi al carrelloQuick View
Proof Theory of Impredicative Subsystem of Analysis
The present book provides a uniform proof-theoretical treatment of several continua
-
Aggiungi al carrelloQuick View
Completezza, compattezza, indecidibilità
Autore: Manaster Alfred B.Questo volume presenta in forma compatta alcune delle tecniche e continua
-
Aggiungi al carrelloQuick View
Una teoria consequenzialista dei condizionali
Autore: Pizzi ClaudioA fronte di successi incontestabili della semantica a mondi possibili continua
-
Aggiungi al carrelloQuick View
Selected Papers in Proof Theory
Autore: Mintz Grigorii E.This collection includes papers devoted to the structural theory of continua