twl@cs.brown.edu (Ted "Theodore" (W) Leung) (07/13/90)
Could someone give me some basic references in the field of axiomatic semantics? I'm just trying to get a little background in the area.... Thanks, Ted -- -------------------------------------------------------------------- Internet/CSnet: twl@cs.brown.edu | Ted "Theodore" Leung BITNET: twl@BROWNCS.BITNET | Box 1910, Brown University UUCP: uunet!brunix!twl | Providence, RI 02912