home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / fj / sci / math / 750 < prev    next >
Encoding:
Text File  |  1992-11-17  |  1.8 KB  |  54 lines
  1. Newsgroups: fj.sci.math
  2. Path: sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
  3. From: ryu@sys.titech.ac.jp (ryu)
  4. Subject: Re: Q in intuitionistic math.
  5. In-Reply-To: shingo@ipc02.rtri.or.jp's message of 16 Nov 92 08:42:54 GMT
  6. Message-ID: <RYU.92Nov17083440@sysipk.sys.titech.ac.jp>
  7. Sender: news@sys.titech.ac.jp
  8. Organization: Tokyo Institute of Technology, Yokohama, Japan.
  9. References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>
  10.     <531@keu02.rtri.or.jp>
  11. Distribution: fj
  12. Date: Mon, 16 Nov 1992 23:34:40 GMT
  13. Lines: 39
  14.  
  15.  
  16. $@8aA0#8;~#1#5J,$N3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J
  17.  
  18. In article <531@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
  19.  |In article <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
  20.  |>$@$G$J$/$F!"0c$&$N$O&8$G$9$M!#(J
  21.  |
  22.  |$@$H(J$@$3$m$G(J
  23.  |$@$3$N&8$,$I$&$b%R%C%+%+%C%F$?$N$h$M!#(J
  24.  |$@$3$l$O??56CM$N6u4V$G(J
  25.  |$@$3$N>l9g$K$O0lHL$N0LAj6u4V$J$N(J$@$M!#(J
  26.  |$@$@$+$i%V!<%kCM%b%G%k$8$c$J$/$F(J
  27.  |$@GSCfN'$O$J$j$?$?$J$$$o$1$M!#(J
  28.  
  29. $@$J$s$G$9$h$M!#C1=c$JOC$7$J$s$G$9(J$@$h$M!#(J
  30. $@!t$b$C$H$b!"$=$l$rM}2r$G$-$J$$GZ$b$$$k$o$1$@$,!#(J
  31.  
  32.  
  33.  |>$@$($C!)(J V^$@&8(J $@$O8EE5O@M}$G:n$C$F$^$9$h!#(J
  34.  |
  35.  |$@8EE5O@M}$G$D$/$C$F$"$k$3$H$H$O4X78$J$$$N!#(J
  36.  
  37. $@$(!"$8$c2?$N$3$H$J$s$G$7$g!#(J
  38.  
  39.  
  40.  |>$@JL$K(J V^$@&8(J $@$C$F!V40A4(J$@!W$8$c$"$J$$$s$G$7$g!)(J
  41.  |
  42.  |$@$h$/9M$($?$i!V40A4!W$C$F!)(J
  43.  |V$@!0&8$O%b%G%k$@$h!#(J
  44.  
  45. $@$($H!"40A4$H$$$&$N$O2<$N(J$@MW7o$r$_$?$9!"$H$$$&0UL#$G;H$$$^$7$?!#$o$+$j$K(J
  46. $@$/$$8@MU;H$$$G$4$a$s$J$5$$!#(J
  47. $@!|!V$"$k(J f $@$,$9$Y$F$N&8$K(J$@BP$7$F#1$r$H$k(J $@"M(J $@D>4Q<g5A$G>ZL@$G$-$k!W(J
  48.  
  49. $@$^$"!"@.$jN)$DLu$J$$$G$9$M!#(J
  50. $@$G$b!"C]Fb30;K$N$$$&!VD>4Q<g5A(J$@E*=89gO@!W$H$$$&$b$N$O!|$N:8B&$rK~$?$9$h(J
  51. $@$&$J%U%)!<%_%e%i$N=8$^$j$N$3$H$N$h$&$G$9!#(J
  52. $@!t$@$+$i!VE*!W$C$F(J$@$+!)(J
  53.  
  54.