Tervetuloa kirjastoon! : Language proof and logic (CD-ROM)

Tuloslistaus

Language proof and logic (CD-ROM)

Henkilönnimi	Barwise, Jon.
Nimeke- ja vastuullisuusmerkintö	Language proof and logic (CD-ROM)
Julkaistu	CSLI Publications, Stanford (CA) : 2003.
Asiasana	logiikka
Henkilönnimi	Etchemendy, John. Allwein, Gerard. Barker-Plummer, Dave. Liu, Albert.
ISBN	1-57586-374-X ( nid)
	englanti

*00000804nam a22002414a 4500
*0015730
*00520200511215600.0
*007cj||||||||||||
*008050928s2003\\\\xx\|||||s||d||||||||eng|c
*020  $a1-57586-374-X ( nid)
*035  $a8191
*035  $a(conv)0000008191
*0410 $aeng
*099  $d2$p28$k2005333$oIVA$01$f0$71$y20050928$z20050928$b11167
*1001 $aBarwise, Jon.
*24510$aLanguage proof and logic (CD-ROM) /$cJon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer and Albert Liu.
*260  $aStanford (CA) :$bCSLI Publications,$c2003.
*500  $aKirjan mukana!!!.
*650 7$alogiikka$2ysa
*7001 $aEtchemendy, John.
*7001 $aAllwein, Gerard.
*7001 $aBarker-Plummer, Dave.
*7001 $aLiu, Albert.
*852  $lBARWISE
*979  $a0000008191
*999  $aMikroMarc$b[Computer media]$x10
^

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

Kuvausta ei toistaiseksi saatavana

Takakansiteksti