Bounded Arithmetic
Lingua: inglese
Categoria: LOGICA, Logica matematica, MATEMATICA.€31.00
This dissertation uses methods from mathematical logic to examine issues related to computational complexity.
Prodotti correlati
-
AcquistaQuick View€51.00Notes on Philosophy, Probability and Mathematics
Autore: Ramsey Frank PlumptonA cura di: Galavotti Maria CarlaThis book is a collection of notes by Frank Plumpton continua
-
AcquistaQuick 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
-
AcquistaQuick View€39.00Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests continua
-
AcquistaQuick View€26.00Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si continua