Home
/
arrow icon
Research
/
Research Catalog
Research Catalog
Search
Subject Heading Explorer
My Account
Request for on-site use
Title
Bisimulations on planet Kripke / door Jelle Douwe Gerbrandy.
Call number
P325 .G47 1998
Choose a pickup location
Pickup location
(required)
Submit request
Help and Feedback