Article View: fj.sci.math
Article #8Re: Q in intutionistic math.
From: inoue kouichi
Date: Thu, 29 Oct 1992 03:47
Date: Thu, 29 Oct 1992 03:47
30 lines
2140 bytes
2140 bytes
$@0f>e!wBg:eI\N)9b@l$G$9!#(J
In article <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) writes:
>
>$@@P86!wKLN&@hC<Bg$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!<%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$O0lHL$K$O#c#H#a$G$O$"$jF@$J$$!%(J
>
>$@$H$"$j$^$9!#(J
$@$"$j$^$9$,!"$=$NM}M3$H$7$F!"$9$Y$F$N&W$K$D$$$F!"(Jnot$@&W(J or notnot$@&W$,(J
$@@.$jN)$?$M$P$J$i$J$$$+$i$H$"$j!"$G$O$=$N&W$O$H$$$&$H!"!P#0!"#1!Q$NItJ,(J
$@=89g$K4^$^$l$k$+$I$&$+$GDj5A$5$l$F$$$^$9$h$M!#!V;d$N(J:-)$@!WD>4Q$G9M$($k$H!"(J
$@$=$N$h$&$J&W$O#4$D$7$+$J$$$h$&$K46$8$?$,!"D>4Q<g5A$G$O0c$&$N$G$7$g$&$+(J
$@$H$$$&<q;]$N<ALd$G$9!#(J
--
================================== $@0f>e9@0l!wBg:eI\N)9b@l(J=====================
Phone : (0720) 21-6401 ($@Fb@~(J304) Fax : (0720) 21-0134
E-mail: f51323@sakura.kudpc.kyoto-u.ac.jp
=========================================$@;d$O(Jmohta$@;a$K5wN%$r$*$$$F$$$^$9!#(J====
Technical Details
Message-ID:
<1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-kyo!kyu-cs!hakata!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323References:
<NAO.92Oct11151547@mimo.jaist-east.ac.jp> <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.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-kyo!kyu-cs!hakata!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323 From: f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) Subject: Re: Q in intutionistic math. Message-ID: <1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp> Sender: news@kudpc.kyoto-u.ac.jp Nntp-Posting-Host: sakura.kudpc.kyoto-u.ac.jp Organization: Osaka Prefectural College of Technology References: <NAO.92Oct11151547@mimo.jaist-east.ac.jp> <1992Oct28.042628.19061@kudpc.kyoto-u.ac.jp> <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> Date: Thu, 29 Oct 1992 03:47:46 GMT Lines: 30