WorldCat Linked Data Explorer

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

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

Models and Computability

Second of two volumes providing a comprehensive guide to the current state of mathematical logic.

Open All Close All

type

about

http://schema.org/about

author

contributor

creator

description

http://schema.org/description

  • "Second of two volumes providing a comprehensive guide to the current state of mathematical logic."@en

editor

genre

http://schema.org/genre

  • "Leeds (1997)"
  • "Kongress"
  • "Electronic books"@en
  • "Electronic books"
  • "Conference papers and proceedings"@en
  • "Conference papers and proceedings"

name

http://schema.org/name

  • "Models and computability : invited papers from Logic Colloquium '97 : European Meeting of the Association for Symbolic Logic, Leeds, July 1997"
  • "Models and Computability : Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic"
  • "Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for symbolic logic, Leeds, July 1997"
  • "Models and Computability"@en
  • "Models and Computability"
  • "Models and computability : invited papers from Logic Colloquium '97-European meeting of the association for symbolic logic, Leeds, July 1997"
  • "Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997"
  • "Models and computabilty"
  • "Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997"
  • "Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997"
  • "Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997"
  • "Models and computability : invited papers from Logic colloquium '97-European meeting of the Association for Symbolic Logic,Leeds, July 1997"

workExample