Re: Q in intutionistic math.

Article View: fj.sci.math

Article #15

#15

From: inoue kouichi
Date: Sat, 31 Oct 1992 05:25

17 lines
1636 bytes

  $@0f>e!wBg:eI\N)9b@l$G$9!#$I$&$b$"$j$,$H$&$4$6$$$^$9!#(J

In article <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) writes:
>$@&W$r!V%U%'%k%^!<$NM=A[$,@.$jN)$D!W$H$7!"#A!a!P#x!'#x!a#1(J and $@&W!Q$H$9$k$H!#(J
>$@#A$O!P#0!$#1!Q$NItJ,=89g$G$9$,!"#A$,6u=89g(J($@%U%'%k%^!<$NM=A[$,@.$jN)$?$J$$(J)$@$+(J
>$@#A$,#1$r4^$`(J($@%U%'%k%^!<$NM=A[$,@.$jN)$D(J)$@$+$o$+$i$J$$=89g$H$J$j$^$9!#(J
>$@D>4Q<g5A$G$O$3$N$h$&$K%U%!%8!<$J=89g$b8=$o$l$F$7$^$$$^$9!#(J

  $@$d$C$Q$j$=$&$J$s$G$9$M!#$o$+$j$^$7$?!#$D$^$j!"ItJ,=89g$@$1$I!"#4$D$N(J
$@Fb$I$l$+$O$o$+$i$J$$$H$$$&N)>l$J$N$G$9$M!#(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: <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>

Path:

arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-snd-ss2!akiu!hakata!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323

References:

<ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> <1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp> <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-snd-ss2!akiu!hakata!kudpc!sakura.kudpc.kyoto-u.ac.jp!f51323
From: f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi)
Newsgroups: fj.sci.math
Subject: Re: Q in intutionistic math.
Message-ID: <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
Date: 31 Oct 92 05:25:46 GMT
References: <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> <1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp> <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>
Sender: news@kudpc.kyoto-u.ac.jp
Organization: Osaka Prefectural College of Technology
Lines: 17
Nntp-Posting-Host: sakura.kudpc.kyoto-u.ac.jp

Reply to Parent Message