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
Termini e Condizioni | Modalità di pagamento | Spedizioni | Distribuzione
©2023 BIBLIOPOLIS – Edizioni di Filosofia e Scienze