Research Catalog

Krister Segerberg on logic of actions / Robert Trypuz, editor.

Title
Krister Segerberg on logic of actions / Robert Trypuz, editor.
Publication
Dordrecht : Springer, 2013.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.5913 .T384 2013Off-site

Details

Additional Authors
Trypuz, Robert
Series Statement
Outstanding Contributions to Logic ; 1
Uniform Title
Outstanding contributions to logic ; 3.
Subject
  • Computer logic
  • Logic
  • Segerberg, Krister, 1936-
Bibliography (note)
  • Includes bibliographical references.
Processing Action (note)
  • committed to retain
ISBN
  • 9400770456
  • 9789400770454
  • 9789400770461 (electronic bk.) (canceled/invalid)
  • 9400770464 (electronic bk.) (canceled/invalid)
LCCN
^^2013945289
OCLC
  • 842364222
  • SCSB-11447025
Owning Institutions
Harvard Library