Cambridge Tracts in Theoretical Computer Science

6 réponses.

Blackburn, Patrick & Rijke, Maarten de & Venema, Yde

Modal logic. - Cambridge University Press, 2002. - (Cambridge Tracts in Theoretical Computer Science; 53).

Hindley, J. Roger

Basic simple type theory. Digitally printed version (with corrections). - Cambridge University Press, 2008. - (Cambridge Tracts in Theoretical Computer Science; 42).

Anthony, Martin & Biggs, Norman

Computational learning theory and introduction. - Cambridge University Press, 1992. - (Cambridge Tracts in Theoretical Computer Science; 30).

Padawitz, Peter

Deduction and declarative programming. - Cambridge University Press, 1992. - (Cambridge Tracts in Theoretical Computer Science; 28).

Baeten, J.C.M. & Weijland, W.P.

Process algebra. - Cambridge University Press, 1990. - (Cambridge Tracts in Theoretical Computer Science; 18).

Girard, Jean-Yves & Lafont, Yves & Taylor, Paul

Proofs and types. Reprint with minor corrections. - Cambridge University Press, 1989. - (Cambridge Tracts in Theoretical Computer Science; 7).