WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/807121491

The language of first-order logic : including the Macintosh version of Tarski's World 4.0

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "Tarski's world (computer program). 1993"@en
  • "Tarski's world"
  • "Tarski's World 4.1 : a program for use with The Language of first-order logic"
  • "Tarski's world : 4.0"

author

contributor

creator

description

http://schema.org/description

  • "This book is intended, along with the computer program, to introduce the user to some of the most important concepts and tools of logic, including learning a new computer language."

genre

http://schema.org/genre

  • "Lehrbuch"
  • "Einführung"
  • "Handboeken (vorm)"

name

http://schema.org/name

  • "The language of first-order logic including the IBM-compatible Windows version of Tarski's World 4.0"
  • "The language of first order logic : including the Macintosh program Tarski's world"
  • "The language of first-order logic : including the Macintosh version of Tarski's World 4.0"@en
  • "The language of first-order logic"
  • "The language of first-order logic : including the Macintosh program Tarski's world 3.0"
  • "The language of first-order logic : including the IBM-compatible Windows version of Tarski's World 4.0"@en
  • "The language of first-order logic : including the IBM-compatible Windows version of Tarski's World 4.0"
  • "The language of first-order logic : including the Macintosh version of Tarski's world 4.0"
  • "The language of first-order logic : including the program Tarski's world"
  • "The Language of first-order logic : including the Macintosh TM program Tarski's World"
  • "The language of first-order logic : including the Macintosh version of Tarskis World 4.0"
  • "The language of first-order logic : Including the Macintosh tm program TARSKI'S WORLD"
  • "The language of first-order logic : including the Mackintosh program Tarski's world 4.0"@en
  • "The language of first-order logic : including the program 'Tarski's World'"
  • "The language of first-order logic : including the Macinthosh version of Tarski's world 4.0"@en
  • "The Language of first-order logic : including the Macintosh program Tarski's world"
  • "The language of first-order logic : including the program 'Tarski's world'"@en
  • "The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0"
  • "The language of first-order logic : including the Macintosh program "Tarski's World" 4.0"
  • "The language of first-order logic : including the MacintoshTM program Tarski's world"
  • "The language of first order logic including the Macintosh version of Tarski's World 4.0"
  • "The language of first-order logic including the Macintosh TM program "Tarski's world""
  • "The Language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0"
  • "The language of first-order logic : including the Mackintosh version of Tarski's world 4.0"
  • "The language of first-order logic : including the Macintosh program Tarski's world"
  • "The language of first-order logic : including the Macintosh program Tarski's world"@en
  • "The language of first-order logic : including the Macintosh program Tarski's World 3.0"@en
  • "The language of first-order logic : including the Macintosh "TM" program"

workExample

http://schema.org/workExample