Logica matematica
Visualizzazione di 14 risultati
-
€62.00Selected Papers in Proof Theory
Autore: Mintz Grigorii E.This collection includes papers devoted to the structural theory of continua
-
€21.00Fixed point constructions in various theories of Mathematical Logic
Autore: Sommaruga - Rosolemos GiovanniThis thesis deals with fixed point constructions in various theories continua
-
€26.00Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si continua
-
€41.00Proof Theory of Impredicative Subsystem of Analysis
The present book provides a uniform proof-theoretical treatment of several continua
-
€39.00Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests continua
-
€34.00Scritti postumi
Autore: Frege GottlobGli scritti postumi coprono quasi l’intero arco della produzione di continua
-
€31.00Bounded Arithmetic
Autore: Buss Samuel R.This dissertation uses methods from mathematical logic to examine issues continua
-
€26.00Theories for admissible sets
Autore: Jäger GerhardIn this Habilitationschrift we will present a unifying approch to continua
-
Esaurito
Ricerche sui fondamenti della matematica
Autore: Hilbert DavidQuesto volume mette per la prima volta a disposizone del continua
-
Esaurito
€21.00Intuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
-
€21.00Proprietà e operazioni
Autore: Cantini AndreaBehmann (1931) proponeva una nuova linea di approccio alle antinomie continua
-
€23.00Completezza, compattezza, indecidibilità
Autore: Manaster Alfred B.Questo volume presenta in forma compatta alcune delle tecniche e continua
-
€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
-
Esaurito€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