Angel V. Ditchev (ditchev)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Ditchev, Angel V. 1987. “Search Computability and Computability with Numberings Are Equivalent in the Case of Finite Set of Objects.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 233–242. New York: Plenum Press.