Re: Q in intutionistic math.

Article View: fj.sci.math

Article #269

#269

From: Hideyuki Nakashima
Date: Fri, 20 Nov 1992 04:29

14 lines
1253 bytes

In article <SATOSHI.92Nov5173636@whale.ryukoku.ac.jp> satoshi@whale.ryukoku.ac.jp (Satoshi Kobayashi) writes:


   $@8=:_!"K\Ev$K!V<+J,$N<g5A!W$H$7$FD>4Q<g5AE*?t3X$r$d$C$F$$$k?M(J
   $@$O$[$H$s$I$$$^$;$s!#(J(3$@?M$0$i$$$H$$$&@b$"$j!#(J)$@BgH>$N?M$OLLGr(J
   $@$$$+$i8&5fBP>]$H$7$F$d$C$F$$$k$N$G$9!#(J

$@$=$&$J$N$G$9$+!%7W;;5!20$K$O!HEv$?$jA0$N?t3X!I$K;W$($k$N$G$9$,!%(J


--
Hideyuki Nakashima
Cooperative Architecture
Electrotechincal Lab.

Technical Details

Message-ID: <NAKASHIM.92Nov20132945@uranus.etl.go.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!etlss2!nakashim

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> <SATOSHI.92Nov5173636@whale.ryukoku.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
From: nakashim@etl.go.jp (Hideyuki Nakashima)
Subject: Re: Q in intutionistic math.
In-Reply-To: satoshi@whale.ryukoku.ac.jp's message of 5 Nov 92 08: 36:36 GMT
Message-ID: <NAKASHIM.92Nov20132945@uranus.etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: uranus
Organization: Electrotechnical Laboratory
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>
 <SATOSHI.92Nov5173636@whale.ryukoku.ac.jp>
Date: Fri, 20 Nov 1992 04:29:45 GMT
Lines: 16

Reply to Parent Message