🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.sci.math
Article #14133

Re: logic

#14133
From: Yukihiko Namikawa
Date: Thu, 02 Nov 1995 00:00
34 lines
2141 bytes
$BL>Bg$NO2@n$G$9(J

In article <DHAo8E.DIH@ulis.ac.jp> hiraga@ulis.ac.jp (Yuzuru Hiraga) writes:
>In article <KUSAKARI.95Oct24021802@is25e1s87.jaist.ac.jp> kusakari@jaist.ac.jp (Kusakari Keiichirou) writes:
>>$BAp4"!w#J#A#I#S#T$G$9!#(J
>
>$BJ?2l!w?^=q4[>pJsBg3X$G$9!#(J
>$B;w$?$h$&$J4X?4$dG:$_$r;}$D<T$H$7$F>/$7!"(J
>$B$H$$$C$F$b$@$$$VD9$/$J$j$=$&$G$9$,!"$44*J[$r!#(J
>
>$B!V(JP $B$J$i$P(J Q$B!W$K8B$C$?OC$G$O$J$$$N$G$9$,!"O@M}$N=t35G0$r3X@8$K$-$A$s$HM}2r(J
>$B$5$;$k!"$5$i$K$O<B:]E*>lLL$G$bMxMQ$G$-$k$h$&$K$9$k$H$$$&$N$OFq$7$$$b$N$G$9!#(J

$B>\$7$$@bL@$r$"$j$,$H$&$4$6$$$^$7$?!#$*0~MM$G$$$m$$$m$J%]%$%s%H$,NI$/J,$+$j(J
$B$^$7$?!#(J

$B$H$3$m$G$3$3$G$NOC$7$N:G=i$O(J
	$B!V2>Dj$,56$J$i!"$I$s$J7kO@$G$bF3$1$k!W(J
$B$H$$$&7A$NJ8>O$K$D$$$F$N<ALd$+$i$G$J$+$C$?$+$H;W$&$s$G$9$,!"855-;v$,>C$($F(J
$B$7$^$C$?$N$G!"$3$l$K0z$C$+$1$F!#(J
 $B:G6a9bLZDg<#$,$I$3$+$i$+0zMQ$7$F$-$?OC$7$r8+$D$1$^$7$?!J4dGH?7=q!V;d$N?.>r!W!K(J
B.$B%i%C%;%k$K$"$k?M$,!">e$NJ8>O$r0zMQ$7$F!"!V$=$l$J$i(J2+2=5$B$H$$$&L?Bj$+$i!"(J
$B$"$J$?$OK!2&$G$"$k$H$$$&L?Bj$,F3$1$^$9$+!)!W$H<ALd$7$?!#%i%C%;%kEz$($F[)$/(J
$B!V$=$l$J$i4JC1$@!#0lJ}$G(J2+2=4$B$@$+$i!"#4!a#5!"N>JU$+$i#3$r0z$/$H#1!a#2!#(J
$B$H$3$m$GK!2&$H;d$OFs?M$N?M4V$@$,!"#1!a#2$J$N$@$+$iN><T$OF1$80l?M$N?M4V!#(J
QED$B!W(J

$B!t85%M%?$,$I$3$+$,CN$j$?$$=j!#(J

-- 
   *   *   *     *                $@O2@n!!9,I'(J
    * *    * *   *                $@L>8E20Bg3XB?85?tM}2J3X8&5f2J(J
     *     *   * *                d43013a@nucc.cc.nagoya-u.ac.jp
     *     *     *                namikawa@math.nagoya-u.ac.jp
Technical Details
Message-ID: <47alvf$dm8@nucc.cc.nagoya-u.ac.jp>
Path: arc1-ca.pugleaf.net!unknown!not-for-mail
References: <YO.95Oct23162119@suzume.crl.go.jp> <KUSAKARI.95Oct24021802@is25e1s87.jaist.ac.jp> <DHAo8E.DIH@ulis.ac.jp>

Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS
X-Google-Thread: f4956,27971479240d34d7,start
X-Google-Attributes: gidf4956,public
From: d43013a@nucc.cc.nagoya-u.ac.jp (Yukihiko Namikawa)
Subject: Re: logic
Date: 1995/11/02
Message-ID: <47alvf$dm8@nucc.cc.nagoya-u.ac.jp>
X-Deja-AN: 118484398
distribution: fj
references: <YO.95Oct23162119@suzume.crl.go.jp> <KUSAKARI.95Oct24021802@is25e1s87.jaist.ac.jp> <DHAo8E.DIH@ulis.ac.jp>
organization: Graduate School of Mathematics, Nagoya University, Nagoya, Japan.
newsgroups: fj.sci.math