Article View: fj.sci.math
Article #4Re: Q in intutionistic math.
From: Hajime Ishihara
Date: Thu, 29 Oct 1992 00:54
Date: Thu, 29 Oct 1992 00:54
17 lines
1501 bytes
1501 bytes
$@@P86!wKLN&@hC<Bg(J$@$G$9!#(J In article <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes: >> $@#6%Z!<%8$K!P#0!"#1!Q$,0lHL$K$O40HwB+$K$J$i$J$$$H=q$+$l$F$$$^$9$,!"$H(J >>$@$$$&$3$H$O$3$N=89g$NItJ,=89g$C$FL5?t$K$"$k$H$$$&$N$,D>4Q<g5A$N$H$kN)>l(J >>$@$J$N$G$7$g$&$+!##4#1%Z!<(J$@%8$NItJ,=89g$N8xM}$+$i9M$($F$b!"$I$&$b$=$N$h$&(J >>$@$J$s$G$9$,!"2?$@$+D>4Q$KH?$7$F$$$k$h$&$J5$$,!"!"!"(J:-) $@$3$N5DO@$OD>4QO@M}$G$J$5$l$F$$$^$9!#<B:]#7%Z!<%8$N#8!$#99TL\$K(J $@$7$?$,$C$FD>4QO@M}$N$b$H$G$O&8$O(J$@0lHL$K$O#c#H#a$G$O$"$jF@$J$$!%(J $@$H$"$j$^$9!#(J -- $@@P86(J $@:H(J : $@KLN&@hC<2J3X5;=QBg3X1!Bg3X(J $@>pJs2J3X8&5f2J!J(J$@>pJsO@M}3X!K(J
Technical Details
Message-ID:
<ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!jaist-news!ishiharaReferences:
<RYU.92Oct10105633@sysipk.sys.titech.ac.jp> <NAO.92Oct11151547@mimo.jaist-east.ac.jp> <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp>Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-tyo-news!cs.titech!jaist-news!jaist-news!ishihara From: ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) Subject: Re: Q in intutionistic math. In-Reply-To: f51323@sakura.kudpc.kyoto-u.ac.jp's message of Wed, 28 Oct 1992 04: 26:28 GMT Message-ID: <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> Lines: 17 Sender: news@jaist-east.ac.jp Nntp-Posting-Host: is15e0s10 Organization: Japan Advanced Institute of Science and Technology Hokuriku, Ishikawa, Japan References: <RYU.92Oct10105633@sysipk.sys.titech.ac.jp> <NAO.92Oct11151547@mimo.jaist-east.ac.jp> <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> Date: Thu, 29 Oct 1992 00:54:34 GMT