author = { Bezboruah, A. AND Shepherdson, J. C. },

title = { Gödel's Second incompleteness theorem for Q },

publisher = {Cambridge University Press (CUP)},

isbn = {0022-4812},

isbn = {1943-5886},

keywords = { Logic , Philosophy },

year = {1976},

url = { http://slubdd.de/katalog?TN_libero_mab2 }