130 We use cookies. Read the Privacy and Cookie Policy I accept 130 Марков А.А. О логике конструктивной математики. М., 1972.