Klaus Ambos-Spies, Arnold Beckmann, Sam Buss, Benedikt Löwe
special issue of the journal Annals of Pure and Applied Logic, Volume 163, Issue 5
Publication year: 2012