The -calculus : a theory of mobile processes a theory of mobile processes

By Sangiorgi, Davide. Cambridge : Cambridge Univ. Press, 2001 . 580 s. ; 25 cm. 0-521-78177-9 | 0-521-54327-4

Knowledge representation: logical, philosophical, and computational foundations logical, philosophical, and computational foundations

By Sowa, John F.. Pacific Grove : Brooks/Cole, 2000 . xiv, 594 s. ; 24 cm. 0-534-94965-7