🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #185

Re: Q in intutionistic math.

#185
From: ryu
Date: Fri, 06 Nov 1992 04:01
23 lines
1944 bytes
$@3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:
 |$@>.NSAo(J@$@N6C+Bg3X$H?=$7$^$9!#@lLg$O(J($@B>$N$3$H$b$d$C$F$^$9$,<g$K(J)
 |$@D>4Q<g5AO@M}!&9=@.(J$@E*?t3X$H$=$N1~MQ(J($@FC$K7W;;5!2J3X$X$N1~MQ(J)$@$G(J
 |$@$9!#$"$^$j$K5DO@$,:.Mp$7$F$$$k$h$&$J$N$G!"@lLg2H$NN)>l$+(J$@$i0l(J
 |$@8@8@$o$J$/$F$O$$$1$J$$$H;W$$!"=P$F$-$^$7$?!#(J

$@$"$j$,$H$&$4$6$$$^$9!#!J$^$?$b$d!K$*<j?t$r$*$+$1(J$@$7$^$9!#(J

 |$@$7$+$7!"Cm0U$7$J$1$l$P$J$i$J$$$N$O!"(J{0,1} $@$NItJ,=89g(J X $@$,G$(J
 |$@0U$KM?$($i$l$?$H$-!"(JX $@$,>e$N(J4$@$D$N=89g$N$I$l$H$bEy$7$/$J$$$H(J
 |$@$9$k$HL7=b$9$k$o$1$G$9$,!"$@$+$i$H$$$C$F!"(J4$@$D$N$&$A$N$I$l$+(J
 |$@$KEy$7(J$@$$!"$H$O8@$($J$$$3$H$G$9!#!V$I$l$+$KEy$7$$!W$H8@$($k$?(J
 |$@$a$K$O!"6qBNE*$K$I$l$KEy$7$$$N$+$rH=Dj$7$F$_(J$@$;$k<jCJ(J($@<jB3$-(J)
 |$@$r;}$C$F$$$J$1$l$P$$$1$^$;$s!#$7$+$7!"$=$N$h$&$J<jB3$-$,$"$j(J
 |$@$=$&$K$J$$$3$H$O$o$+(J$@$k$G$7$g$&!#(J
$@CfN,(J
 |$@$*$o$+$j$$$?$@$1$^$7$?$+(J?

$@$=$&$9$k$H%i%F%#%9$N1i;;$,!"6qBNE*$K!J<jB3$-$H$7$F!KM?(J$@$($i$l$F$$$J$$%i(J
$@%F%#%9!"$J$s$F$$$&$3$H$J$s$G$7$g$&$+!"(J{0,1} $@$O!)(J
Technical Details
Message-ID: <RYU.92Nov6130140@sysipi.sys.titech.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp>

Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
From: ryu@sys.titech.ac.jp (ryu)
Subject: Re: Q in intutionistic math.
In-Reply-To: satoshi@whale.ryukoku.ac.jp's message of 5 Nov 92 08:03:59 GMT
Message-ID: <RYU.92Nov6130140@sysipi.sys.titech.ac.jp>
Sender: news@sys.titech.ac.jp
Organization: Tokyo Institute of Technology, Yokohama, Japan.
References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>
 <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
 <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
 <SATOSHI.92Nov5170359@whale.ryukoku.ac.jp>
Date: Fri, 6 Nov 1992 04:01:40 GMT
Lines: 25