J. Flum Books
Parameterized Complexity Theory Texts in Theoretical Computer Science. An EATCS Series
Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory...
Read MoreMathematical logic 2. edicion.
By
This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be...
Read More