 Some of this research he reconstructed after the War, however much of it remained lost.His work was largely on recursion theory and undecidability.From 1946 until his death in Vancouver, British Columbia, Canada, he worked at the University of Warsaw.