Temporal Logic
Temporal Logic
Alasdair Urquhart
,
Nicholas Rescher
Details
OL Work ID
OL20715234W
Find this book
Open Library