Article View: fj.sci.math
Article #206Re: Q in intutionistic math.
From: inoue kouichi
Date: Wed, 11 Nov 1992 03:59
Date: Wed, 11 Nov 1992 03:59
27 lines
2036 bytes
2036 bytes
$@0f>e!wBg:eI\N)9b@l$G$9!#(J
In article <RYU.92Nov10072720@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
>$@!t$3$l$J$i>/$7$O$^$7$J<ALd$G$7$g!)(J
>$@!t$K$7$F$b2r$i$J$$$N$O!"0f>e$5$s$O$I$&$d$C$FG<F@$G$-$?$s$G$7$g!)(J
$@$(!<!"A0$NA0$0$i$$$N5-;vFI$s$G$$$?$@$1$k$H!";d$O!V$o$+$j$^$7$?!"(J
$@!&!&!&$J$N$G$9$M!W$H$$$&$h$&$J=q$-J}$r$7$F$$$k$H;W$$$^$9!#$D$^$j!"(J
$@$=$N;~E@$G$N!J$=$7$F:#$G$b!K;d$O!"!V$^$"!"$b$&$I$&$G$b$$$$$d!"$G$b(J
$@8e3X$N$?$a$K!"D>4Q<g5A$G$N@5<0$J9M$(J}$rCN$C$F$*$3$&!W$H9M$($F$$$?(J
$@$N$G$9!#$G!"3^$5$s$N5-;v$G!"!V$=$&$8$c$J$$$h!W$H$$$o$l$^$7$?$N$G!"(J
$@!V$"!"$=$&$8$c$J$$$N$+!W$H;W$C$F!"A0$N5-;v$r=q$$$?$N$G$9!#$G$b!"!V(J
$@$=$&$8$c$J$$$h!W$H$$$&$N$O3^$5$s$N8m2r$J$s$G$9$h$M!#8=:_;d$OD>4Q<g(J
$@5A$G$b!P#0!"#1!Q$NItJ,=89g$O#4$D$7$+$J$$$H9M$($F$$$k$H$$$&$3$H$rCN$C(J
$@$F!"0B?4$7$F$$$k$H$3$m$G$9!#$D$^$j!"!VG<F@$7$?!W$H$$$&$N$O!VM}2r$7(J
$@$?!W$H$$$&0UL#$G$O$J$/!"J8;z$I$*$j!"!V;d$,$=$l$G$$$$$HG<F@$7$?!W$H(J
$@$$$&0UL#$G$9!#<+J,$,LLGr$=$&$@$J$H;W$($k$h$&$K$J$k$^$G$3$N5DO@$OFI(J
$@$^$;$F$$$?$@$/$@$1$K$7$?$$$H;W$$$^$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:
<1992Nov11.035953.25565@kudpc.kyoto-u.ac.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kuis!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323References:
<SATOSHI.92Nov7132053@whale.ryukoku.ac.jp> <RYU.92Nov9094836@sysipk.sys.titech.ac.jp> <RYU.92Nov10072720@sysipk.sys.titech.ac.jp>Show Full Headers
Complete Article Headers
Newsgroups: fj.sci.math Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-kyo!kuis!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: <1992Nov11.035953.25565@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: <SATOSHI.92Nov7132053@whale.ryukoku.ac.jp> <RYU.92Nov9094836@sysipk.sys.titech.ac.jp> <RYU.92Nov10072720@sysipk.sys.titech.ac.jp> Date: Wed, 11 Nov 1992 03:59:53 GMT Lines: 27