Logic, computation, hierarchies - Selivanov, Victor.; Brattka, Vasco; Diener, Hannes.; Spreen, Dieter. (De Gruyter, 2014)