/cgi-bin/koha/opac-search.pl?idx=&q=se%2Cphr%3A%22Cambridge%20tracts%20in%20theoretical%20computer%20science%22&sort_by=relevance&format=rss 6 0 50 ISBN:052142027X (hbd) /cgi-bin/koha/opac-detail.pl?biblionumber=47144 ]]> By Shankar N.
Cambridge CambridgeUniversity Press 1994 .
xv,202p , Bibliography 189-196p; Index 197-202p 052142027X (hbd)

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

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=47144 ISBN: /cgi-bin/koha/opac-detail.pl?biblionumber=75284 By Girard Jean-Yves.
Cambridge Cambeidge University Press 1989 .
176p. cm..

]]> Place hold on Proofs and types

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=75284 ISBN:0521576512 (pbk) /cgi-bin/koha/opac-detail.pl?biblionumber=74698 ]]> By Vickers Steven.
Cambridge Cambridge University Press 1989 .
200p , Bibliography 191-195p; Index 196-200p 0521576512 (pbk)

]]> Place hold on Topology via logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=74698 ISBN: /cgi-bin/koha/opac-detail.pl?biblionumber=76127 By Spivey J M.
Cambridge CUP 1988 .
131p. cm..

]]> Place hold on Understanding Z: A specification language and its formal semantics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=76127 ISBN: /cgi-bin/koha/opac-detail.pl?biblionumber=75177 By Revesz G E.
Cmbridge CUP 1988 .
181p. cm..

]]> Place hold on Lambda calculus combinators and functional programming

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=75177 ISBN:0521418836 (hbd) /cgi-bin/koha/opac-detail.pl?biblionumber=56871 ]]> By Mauw S Ed.
Cambridge Cambridge University Press 1993 .
xi,197p , Bibliographical references 189-192p; Indexes 193-197p 0521418836 (hbd)

]]> Place hold on Algebraic specification of communication protocols

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=56871