Re: Q in intuitionistic math.

Article View: fj.sci.math

Article #14298

#14298

From: Satoshi Kobayashi
Date: Wed, 25 Nov 1992 08:37

24 lines
1710 bytes

$@>.NS(J@$@N6C+Bg3X(J$@$G$9!#(J

In article <RYU.92Nov17082028@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:

 |$@$7$D$3$$3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J
 |
 |In article <530@keu02.rtri.or.jp> shingo@ipc02.rtri.or.jp (Shingo MATSUMOTO) writes:
 | | |$@$?$/$5$s$J$s$+$J$$$h!#$=$l$3$=!V8m2r!W(J
 | |
 | |> $@$($($H!"(J{0} $@$N(J V^$@&8(J $@$X$NKd$a9~$_$r(J {0}' $@$H$7$^$9$M!#(J
 |$@CfN,(J
 | |> $@$b$C$H$b!V0lHL$K$O#1$K$J$i$J$$!W$N$G$7$g$&$,!#(J
 | |
 | |$@!)>e$NJ8>O$N0UL#$,$h$/$o$+$i$s$,!#(J
 |
 |$@$"!"$b$7$+$7$?$i0lHL$K#1$K$J$k$+$bCN$l$J$$!#$G$b!"$^$"!"7W(J$@;;$9$j$c2r$k(J
 |$@$3$H$@$+$iJL$K$$$$$G$9$M!#(J

$@0lHL$K(J1$@$K$J$j$^$9!#(J
--
			$@N6C+Bg3XM}9)3XIt?tM}>pJs3X2J(J    $@>.NS(J  $@Ao(J
			satoshi@whale.ryukoku.ac.jp
			0775-43-7523($@3X2J;vL3<<(J) 0775-43-7528($@8&5f<<(J)
			0775-43-7524(FAX)

Technical Details

Message-ID: <SATOSHI.92Nov25173703@whale.ryukoku.ac.jp>

Path:

arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!sgiblab!adagio.panasonic.com!chorus.mei!oskgate0.mei!icspub!wnoc-kyo!kuis!rins!satoshi

References:

<526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp> <530@keu02.rtri.or.jp> <RYU.92Nov17082028@sysipk.sys.titech.ac.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,8af676e5bd3e6401
X-Google-Attributes: gidf4956,public
X-Google-ArrivalTime: 1992-11-25 10:15:24 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!sgiblab!adagio.panasonic.com!chorus.mei!oskgate0.mei!icspub!wnoc-kyo!kuis!rins!satoshi
From: satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi)
Newsgroups: fj.sci.math
Subject: Re: Q in intuitionistic math.
Message-ID: <SATOSHI.92Nov25173703@whale.ryukoku.ac.jp>
Date: 25 Nov 92 08:37:03 GMT
References: <526@keu02.rtri.or.jp> <RYU.92Nov14014631@sysipk.sys.titech.ac.jp>
 <530@keu02.rtri.or.jp> <RYU.92Nov17082028@sysipk.sys.titech.ac.jp>
Sender: news@rins.ryukoku.ac.jp
Distribution: fj
Organization: Ryukoku Univ., Seta, Japan
Lines: 24
In-reply-to: ryu@sys.titech.ac.jp's message of 16 Nov 92 23:20:28 GMT

Reply to Parent Message