Foundations of constructive mathematics metamathematical studies - Beeson, Michael J. (Springer, 1985)
Literaturverz. S. 439 - 449