MATEMATICA
Visualizzazione di 12 risultati
-
Aggiungi al carrelloQuick View€21.00Fixed 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€26.00Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si continua
-
Aggiungi al carrelloQuick View€39.00Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests continua
-
Aggiungi al carrelloQuick View€34.00Scritti postumi
Autore: Frege GottlobGli scritti postumi coprono quasi l’intero arco della produzione di continua
-
Aggiungi al carrelloQuick View€31.00Bounded Arithmetic
Autore: Buss Samuel R.This dissertation uses methods from mathematical logic to examine issues continua
-
Aggiungi al carrelloQuick View€26.00Theories for admissible sets
Autore: Jäger GerhardIn this Habilitationschrift we will present a unifying approch to 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 View€21.00Intuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
-
Aggiungi al carrelloQuick View€21.00Proprietà e operazioni
Autore: Cantini AndreaBehmann (1931) proponeva una nuova linea di approccio alle antinomie continua
-
Aggiungi al carrelloQuick View€23.00Completezza, compattezza, indecidibilità
Autore: Manaster Alfred B.Questo volume presenta in forma compatta alcune delle tecniche e continua
-
Aggiungi al carrelloQuick View€18.00Il 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
-
Aggiungi al carrelloQuick View€21.00Il 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