Computer science logic : selected papers / International Workshop... ; ed. Mogens Nielsen, Wolfgang Thomas

Computer science logic : selected papers / International Workshop... ; ed. Mogens Nielsen, Wolfgang Thomas . - Berlin : Springer, cop. 1998 . - VIII, 509 p. : il. 25 cm . - (Lecture notes in computer science; 1414)
3-540-64570-5 Brochado

519.6