Your search returned 5 results.

Results
	1.	Modal and temporal properties of processes Colin Stirling by Stirling, Colin P Series: Texts in computer science Publication details: New York Springer c2001 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	2.	Calculus of computation/The : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna. by Bradley, Aaron R Manna, Zohar Publication details: Berlin : Springer, 2007 Online resources: Table of contents Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	3.	Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn by Harel, David Kozen, Dexter, 1951- Tiuryn, Jerzy Series: Foundations of computing Publication details: Cambridge, Mass. MIT Press 2000 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	4.	Handbook of practical logic and automated reasoning John Harrison by Harrison, John Publication details: Cambridge New York Cambridge University Press 2009 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	5.	Krister Segerberg on logic of actions Robert Trypuz, editor by Trypuz, Robert (ed.) Series: Outstanding contributions to logic Publication details: Dordrecht : Springer, 2013 Availability: Items available for loan: IMAR (1)Call number: 005.1015113-TRY. Place hold Add to cart (remove)

Refine your search