kosˈoβski, ˈɛne.kˈa. ˌelemˈɛnts ˈof mˌatemˌatikˈal loxˈik ˈanð ˈits ˌapplikˈatjon tˈo tˈe teˈoɾi ˈof sˌuβɾekuɾsˈiβe alɣˈoɾitms, ˌeleˌeseˈu pˈuβl.
Kosovsky, N.K. Elements of Mathematical Logic and its Application to the theory of Subrecursive Algorithms, LSU Publ.