MATEMATICA
Visualizzazione di 12 risultati
-
Aggiungi al carrelloQuick View
Fixed point constructions in various theories of Mathematical Logic
Autore: Sommaruga - Rosolemos GiovanniThis thesis deals with fixed point constructions in various theories continua
-
Aggiungi al carrelloQuick View
Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si continua
-
Aggiungi al carrelloQuick View
Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests continua
-
Aggiungi al carrelloQuick View
Bounded Arithmetic
Autore: Buss Samuel R.This dissertation uses methods from mathematical logic to examine issues continua
-
Esaurito
Leggi tuttoQuick ViewRicerche sui fondamenti della matematica
Autore: Hilbert DavidQuesto volume mette per la prima volta a disposizone del continua
-
Esaurito
Leggi tuttoQuick ViewIntuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
-
Aggiungi al carrelloQuick View
Proprietà e operazioni
Autore: Cantini AndreaBehmann (1931) proponeva una nuova linea di approccio alle antinomie 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
Il paradiso di Cantor
Autore: Bernays Paul, Kreisel Georg, Montague Richard, Mostowski Andrzej, Skolem Thoralf, Ullian Josevh S., Zermelo ErnstA cura di: Cellucci C.Le discussioni recenti sui fondamenti della teoria degli insiemi si continua
-
Esaurito
Leggi tuttoQuick ViewIl continuo. Indagini critiche sui fondamenti dell’Analisi
Autore: Weyl HermannA cura di: Veit B.«Con questo saggio non ci proponiamo di erigere, nello spirito continua