"Foundations of constructive mathematics: metamathematical studies issue 3" - читать интересную книгу автора (Michael J. Beeson)