home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / fj / sci / math / 751 < prev    next >
Encoding:
Text File  |  1992-11-19  |  1.2 KB  |  35 lines
  1. Newsgroups: fj.sci.math
  2. Path: sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
  3. From: nakashim@etl.go.jp (Hideyuki Nakashima)
  4. Subject: Re: Q in intutionistic math.
  5. In-Reply-To: satoshi@whale.ryukoku.ac.jp's message of 5 Nov 92 08: 36:36 GMT
  6. Message-ID: <NAKASHIM.92Nov20132945@uranus.etl.go.jp>
  7. Sender: news@etl.go.jp (News System)
  8. Nntp-Posting-Host: uranus
  9. Organization: Electrotechnical Laboratory
  10. References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>
  11.     <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
  12.     <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
  13.     <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
  14.     <RYU.92Nov4105137@sysipk.sys.titech.ac.jp>
  15.     <SATOSHI.92Nov5173636@whale.ryukoku.ac.jp>
  16. Date: Fri, 20 Nov 1992 04:29:45 GMT
  17. Lines: 16
  18.  
  19. In article <SATOSHI.92Nov5173636@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
  20.  
  21.  
  22.    $@8=:_!"K\Ev$K!V<+J,$N<g5A!W$H$7$FD>4Q<g5AE*?t3X$r$d$C$F$$$k?M(J
  23.    $@$O$[$H$s$I$$$^$;$s!#(J(3$@?M$0$i$$$H$$$&@b$"$j!#(J)$@BgH>$N?M$OLLGr(J
  24.    $@$$$+$i8&5fBP>]$H$7$F$d$C$F$$$k$N$G$9!#(J
  25.  
  26. $@$=$&$J$N$G$9$+!%7W;;5!20$K$O!HEv$?$jA0$N?t3X!I$K;W$($k$N$G$9$,!%(J
  27.  
  28.  
  29. --
  30. Hideyuki Nakashima
  31. Cooperative Architecture
  32. Electrotechincal Lab.
  33.  
  34.  
  35.