Documenti analoghi: Osnovanija intuicionistskoj matematiki s točki zvonija teorii rekursivnych funkcij