Beethovens Kirchenmusikschaffen umfasst zwei Messkompositionen. Die 1807 vollendete und uraufgefü...

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post i...

Science involves descriptions of the world we live in. It also depends on nature exhibiting what ...

This book constitutes the refereed proceedings of the Third International Conference on Theory an...

Together, Sets and Proofs and its sister volume Models and Computability will provide readers wit...

Beethoven's piano sonatas are a cornerstone of the piano repertoire and favourites of both the co...

History ended, according to Hegel according to Kojève, with the establishment and prolifer...

History ended, according to Hegel according to Kojève, with the establishment and proliferatio...

Two crucial genres of medieval literature are studied in this outstanding collection.

This book constitutes the refereed proceedings of the 9th International Conference on Theory and ...

This book constitutes the refereed proceedings of the 4th International Conference on Theory and ...