Computational interpretations of Markov's principle / by Matteo Manighetti. Wien, 2016
Inhalt