Re: Q in intutionistic math.

Article View: fj.sci.math

Article #208

#208

From: ryu
Date: Wed, 11 Nov 1992 03:07

16 lines
1575 bytes

$@JY6/$rB3$1$k3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <ISHIHARA.92Nov11094303@is15e0s10.jaist-east.ac.jp> ishihara@is15e0s10.jaist-east.ac.jp (Hajime Ishihara) writes:
 |$@Cf4VO@M}$b4^$s$G$$$^$9$,!"8EE5O@M}$KL7=b$9$k$h$&$J8xM}$b(J
 |$@07$&$3$H$,$"$j$^$9$+$i!"@53N$K$$(J$@$&$HCf4V$G$O$"$j$^$;$s!#(J

$@$"!"$J$k$[$I!#(J

 |$@$3$3$G!"D>4Q<g5A!V$G!W$H$+D>4Q<g5A!V$r!W$H$$$&$H$-!"$I$s$J(J$@!VD>4Q<g5A!W$r(J
 |$@;X$7$F$$$k$N$G$7$g$&$+!)(J
 |$@;d$O!V9-$$0UL#$G$N9=@.<g5A!WDxEY$K9M$($F$$$^$7$?!#(J

$@$=$N!V(J$@9-$$0UL#$G$N9=@.<g5A!W$H$$$&$b$N$N@5BN$,!"%$%a!<%8$,!"$J$s$+A4A3(J
$@DO$a$J$$$s$G$9!#(J
Bishop $@$H$+$rFI$`$7(J$@$+$J$$$s$G$7$g$&$+!)(J

Technical Details

Message-ID: <RYU.92Nov11120712@sysipk.sys.titech.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu

References:

<ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> <RYU.92Nov4105137@sysipk.sys.titech.ac.jp> <ISHIHARA.92Nov5101428@is15e0s10.jaist-east.ac.jp> <RYU.92Nov9095504@sysipk.sys.titech.ac.jp> <ISHIHARA.92Nov11094303@is15e0s10.jaist-east.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!sh.wide!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
From: ryu@sys.titech.ac.jp (ryu)
Subject: Re: Q in intutionistic math.
In-Reply-To: ishihara@is15e0s10.jaist-east.ac.jp's message of Wed, 11 Nov 1992 00:43:03 GMT
Message-ID: <RYU.92Nov11120712@sysipk.sys.titech.ac.jp>
Sender: news@sys.titech.ac.jp
Organization: Tokyo Institute of Technology, Yokohama, Japan.
References: <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>
 <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
 <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp>
 <RYU.92Nov4105137@sysipk.sys.titech.ac.jp>
 <ISHIHARA.92Nov5101428@is15e0s10.jaist-east.ac.jp>
 <RYU.92Nov9095504@sysipk.sys.titech.ac.jp>
 <ISHIHARA.92Nov11094303@is15e0s10.jaist-east.ac.jp>
Date: Wed, 11 Nov 1992 03:07:11 GMT
Lines: 17

Reply to Parent Message