Non-computable models of certain first order theories | IEEE Conference Publication | IEEE Xplore