Details

Subject(s)

• Logic, Symbolic and mathematical [Browse]
• Time [Browse]
• Tense (Logic) [Browse]

Related name

• Merz, Stephan [Browse]

Series

• Texts in theoretical computer science [More in this series]
• Texts in theoretical computer science ; ISSN 1862-4499 [More in this series]

Bibliographic references

Includes bibliographical references (p. [421]-428) and index.

ISBN

• 9783540674016
• 3540674012

LCCN

2008921857

OCLC

231678341

Statement on language in description

Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...