http://library.krea.edu.in//cgi-bin/koha/opac-search.pl?q=ccl=an%3A205&sort_by=relevance&format=rss 3 0 50 ISBN:9780521701464 (pbk.) http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=124391 ]]> By Boolos, George S.,.
Cambridge : Cambridge University Press, 2010 .
xiii, 350 p. : 26 cm..
9780521701464 (pbk.)

]]> Place hold on Computability and logic /

]]> http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=124391 ISBN:9781108478755 (hbk.) http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=124393 ]]> By Avigad, Jeremy,.
Cambridge : Cambridge University Press, 2023 .
xii, 513 pages : 27 cm..
9781108478755 (hbk.)

]]> Place hold on Mathematical logic and computation /

]]> http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=124393 ISBN:9781107534056 (pbk.) http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=124424 ]]> By Lakatos, Imre,.
Cambridge : Cambridge University Press, 2015 .
xii, 183 pages : 23 cm..
9781107534056 (pbk.)

]]> Place hold on Proofs and refutations: the logic of mathematical discovery /

]]> http://library.krea.edu.in//cgi-bin/koha/opac-detail.pl?biblionumber=124424