Tervetuloa kirjastoon! : Language proof and logic : + CD-ROM erikseen lainattavissa!

Tuloslistaus

Language proof and logic : + CD-ROM erikseen lainattavissa!

Henkilönnimi	Barwise, Jon.
Nimeke- ja vastuullisuusmerkintö	Language proof and logic : + CD-ROM erikseen lainattavissa!
Julkaistu	CSLI Publications, Stanford (CA) : 2003.
Ulkoasutiedot	xi, 587 s : kuv., taul + LPL software manual (vii, 52 s.), CD-ROM.
Asiasana	logiikka
Henkilönnimi	Etchemendy, John. Allwein, Gerard. Barker-Plummer, Dave. Liu, Albert.
ISBN	1-57586-374-X ( nid)
	englanti

*00000935nam a22002414a 4500
*0015709
*00520200511215600.0
*008050914s2003\\\\xx\||||||||||\||||||eng|c
*020  $a1-57586-374-X ( nid)
*035  $a8143
*035  $a(conv)0000008143
*0410 $aeng
*099  $d2$p28$k2005332$oIVA$01$f0$71$y20050914$z20050914$b11103
*1001 $aBarwise, Jon.
*24510$aLanguage proof and logic :$b+ CD-ROM erikseen lainattavissa! /$cJon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer and Albert Liu.
*260  $aStanford (CA) :$bCSLI Publications,$c2003.
*300  $axi, 587 s :$bkuv., taul +$eLPL software manual (vii, 52 s.), CD-ROM.
*500  $aNiteestä Hhfil (nide 1070080916) puuttuvat LPL software manual ja CD-ROM.
*650 7$alogiikka$2ysa
*7001 $aEtchemendy, John.
*7001 $aAllwein, Gerard.
*7001 $aBarker-Plummer, Dave.
*7001 $aLiu, Albert.
*852  $lBARWISE
*979  $a0000008143
*999  $aMikroMarc$b[Book]$x0
^

Tästä teoksesta ei ole arvioita.
Näpäytä kun haluat kirjoittaa ensimmäisen arvion.

Kuvausta ei toistaiseksi saatavana

Takakansiteksti