🚀 go-pugleaf

$B:Y$+$$$3$H$G$9$,!"(B

In article <IWASA.92Aug17102516@oucom5.oucom.osaka-u.ac.jp> iwasa@oucom5.oucom.osaka-u.ac.jp (Hidehiko Iwasa) writes:
> $B$3$N%=%U%H$O!"(BStanford$BBg3X(BCSLI$B$N(BBarwise$B!J8=(BIndiana$BBg!K$H(B
>Etchemendy$B$K$h$C$F3+H/$5$l$?$b$N$G$"$j!"(B
>
> "The Language of First-Order Logic" Jon Barwise and John
>Etchemendy, CSLI Lecture Notes Number 23, 
>University of Chicago Press ISBN 0-937073-59-8
>$B2A3J(B $B!p(B19.50 $B%F%-%9%H$H%W%m%0%i%`!K(B
>
>$B$H$7$FHNGd$5$l$F$$$^$9!#(B

$B$\$/$,<x6H$G;H$C$F$$$k(BTarski's World 3.0$B$NJ}$O!"(B$19.50$B$G(B
ISBN 0-937037-67-9(CSLI Lecture Notes Number 25)$B$G$9!#(B
              ^^^^                           ^^ 

The Language of First Order Logic$B$NJ}$O$b$&>/$79b$+$C$?$H;W(B
$B$$$^$9!#(BTarski's World$B$O3XIt$N<x6H$N1i=,MQ$N%F%-%9%H$G!"$I$A(B
$B$i$+$H$$$($P%W%m%0%i%`$NJ}$,(Bmain$B$G$9!#$=$l$KBP$7$F(BThe
Language of First Order Logic$B$NJ}$O!"K\Ev$N%F%-%9%H(B(2$BG\0J>e(B
$B8|$$(B)$B$G!"%W%m%0%i%`$h$j=q$+$l$?$b$N$NJ}$K??2A$,$"$j$^$9!#(B

$BEZ20(B
($B@iMUBg3XJ83XIt(B)