Jump to main content

yr 〜
yr

Search results 15

Tarski's world :pbk. : alk. paper Rev. and expanded

Tarski's world :pbk. : alk. paper Rev. and expanded
Paper図書
by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert LiuCSLI Publicationsc2008
Other Libraries in Japan
  • LCCBC128

Dependence logic : a new approach to independence friendly logic : hardback : pbk

Dependence logic : a new approach to independence friendly logic : hardback : pbk
Paper図書
Jouko VäänänenCambridge University Press2007
Other Libraries in Japan
  • LCCBC128

Formal logic : its scope and limits : cloth 4th ed. / edited with a new supplement by John P. Burgess

Formal logic : its scope and limits : cloth 4th ed. / edited with a new supplement by John P. Burgess
Paper図書
Richard JeffreyHackett Pub.c2006
Other Libraries in Japan
  • LCCBC128

Formal logic : its scope and limits 3rd ed

Formal logic : its scope and limits 3rd ed
Paper図書
Richard JeffreyHackett[2004]
Other Libraries in Japan
  • LCCBC128

First-order logic : an introduction pbk. : alk. paper

First-order logic : an introduction pbk. : alk. paper
Paper図書
Leigh S. CaumanWalter de Gruyter1998
Other Libraries in Japan
  • LCCBC128

The language of first-order logic : including the Macintosh version of Tarski's world 4.0 3rd ed., rev. and expanded

The language of first-order logic : including the Macintosh version of Tarski's world 4.0 3rd ed., rev. and expanded
Paper図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1993
Other Libraries in Japan
  • LCCBC128

Tarski's world : version 4.0 for the Macintosh : pbk

Tarski's world : version 4.0 for the Macintosh : pbk
Paper図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1993
Other Libraries in Japan
  • LCCBC128

A philosophical companion to first-order logic : pbk. : alk. paper

A philosophical companion to first-order logic : pbk. : alk. paper
Paper図書
edited, with an overview, by R.I.G. HughesHackett Pub. Co.c1993
Other Libraries in Japan
  • LCCBC128

Tarski's world : version 4.0 for MS Windows : pbk

Tarski's world : version 4.0 for MS Windows : pbk
Paper図書
Jon Barwise & John EtchemendyCSLI Publicationsc1993
Other Libraries in Japan
  • LCCBC128

The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 3rd ed., rev. and expanded

The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 3rd ed., rev. and expanded
Paper図書
Jon Barwise & John EtchemendyCenter for the Study of Language and Informationc1992
Other Libraries in Japan
  • LCCBC128

Tarski's world 3.0 : including the Macintosh program :pkb.

Tarski's world 3.0 : including the Macintosh program :pkb.
Paper図書
Jon Barwise and John EtchemendyCenter for the Study of Language and Informationc1991
Other Libraries in Japan
  • LCCBC128

Formal logic : its scope and limits 3rd ed

Formal logic : its scope and limits 3rd ed
Paper図書
Richard JeffreyMcGraw-Hillc1991
Other Libraries in Japan
  • LCCBC128

The language of first-order logic : including the Macintosh program Tarski's world 2nd ed., rev. and expanded

The language of first-order logic : including the Macintosh program Tarski's world 2nd ed., rev. and expanded
Paper図書
Jon Barwise and John EtchemendyCenter for the Study of Language and Informationc1991
Other Libraries in Japan
  • LCCBC128

Metalogic : an introduction to the metatheory of standard first order logic : hard : pbk

Metalogic : an introduction to the metatheory of standard first order logic : hard : pbk
Paper図書
Geoffrey HunterMacmillan1971
Other Libraries in Japan
  • LCCBC128

Metalogic : an introduction to the metatheory of standard first order logic : pbk

Metalogic : an introduction to the metatheory of standard first order logic : pbk
Paper図書
Geoffrey HunterUniversity of California Pressc1971
Other Libraries in Japan
  • LCCBC128

Reached to the end of result.

RSS