Filter
Matematiske fundament
Filter
There was a special year devoted to the topic of several complex variables at the Mittag-Leffler Institute in Stockholm, Sweden, and this volume contains the resulting survey …
A survey of recent developments both in the classical and modern fields of the theory. Contents include: The complex analytic structure of the space of closed Riemann surfaces; …
Through a set of lively anecdotes and essays, Nathaniel Borenstein traces the divergence between the fields of software engineering and user-centered software design, and attempts …
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results …
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded …