https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-search.pl?idx=&q=se%2Cphr%3A%22Cambridge%20tracts%20in%20theoretical%20computer%20science%3B%22&sort_by=relevance&format=rss 4 0 50 ISBN:0521585333 https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=180329 By Shanker, N..
Cambridge, U.K. : Cambridge University Press, 1997 .
xv, 202 p. ; 25 cm..
0521585333

]]> Place hold on Metamathematics, machines, and Godel's proof /

]]> https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=180329 ISBN:0521630177 https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=180282 By Kleine Buning, H..
Cambridge, U.K. : Cambridge University Press, 1999 .
x, 409 p. : , Translated from the German. First published in German by B.G. Teubner in 1994 24 cm..
0521630177

]]> Place hold on Propositional logic :

]]> https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=180282 ISBN:052146014X https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=181647 By Meyer, John-Jules Ch..
Cambridge [U.K.] : Cambridge University Press, 1995 .
xiii, 354 p ; 26 cm..
052146014X

]]> Place hold on Epistemic logic for AI and computer science /

]]> https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=181647 ISBN:0521343062 https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=177930 By Chaitin, Gregory J..
Cambridge ; New York : Cambridge University Press , 1987 .
x , 178 p. ; 25 cm..
0521343062

]]> Place hold on Algorithmic information theory /

]]> https://librarycatalogue.taylors.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=177930