home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1260 < prev    next >
Encoding:
Text File  |  1992-08-13  |  587 b   |  17 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!usc!sol.ctr.columbia.edu!destroyer!ubc-cs!fornax!jamie
  3. From: jamie@cs.sfu.ca (Jamie Andrews)
  4. Subject: Presburger arithmetic axiomatization
  5. Message-ID: <1992Aug13.201939.6369@cs.sfu.ca>
  6. Organization: CSS, Simon Fraser University, Burnaby, B.C., Canada
  7. Date: Thu, 13 Aug 1992 20:19:39 GMT
  8. Lines: 7
  9.  
  10.      Where can I expect to find easily a precise and elegant
  11. axiomatization of Presburger arithmetic?  (I know it's
  12. "arithmetic without multiplication" and I can think of some
  13. horrible axiomatizations; I wanted to find a nice one.)
  14.  
  15. thanks
  16. --Jamie.
  17.