Jump to main content

yr 〜
yr

Search results 4

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
  • Subject HeadingFirst-order logic Tarski's world (Computer program)
  • Subject Heading (ID)First-order logic Tarski's world (Computer program)

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
  • Subject HeadingFirst-order logic Tarski's world (Computer program)
  • Subject Heading (ID)First-order logic Tarski's world (Computer program)

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
  • Subject HeadingFirst-order logic Tarski's world (Computer program)
  • Subject Heading (ID)First-order logic Tarski's world (Computer program)

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
  • Subject HeadingTarski's world (Computer program) First-order logic
  • Subject Heading (ID)Tarski's world (Computer program) First-order logic

Reached to the end of result.

RSS