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.
€31.00
This dissertation uses methods from mathematical logic to examine issues related to computational complexity.
In this Habilitationschrift we will present a unifying approch to continua
These lectures were given in Padova at the Laboratorio per continua
The present book provides a uniform proof-theoretical treatment of several continua
This collection includes papers devoted to the structural theory of continua
©2023 BIBLIOPOLIS – Edizioni di Filosofia e Scienze