Text this: Osnovanija intuicionistskoj matematiki s točki zvonija teorii rekursivnych funkcij