Search results for ""author robert goldblatt""
Dover Publications Inc. Topoi: The Categorial Analysis of Logic
£24.74
Centre for the Study of Language & Information Logics of Time and Computation
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
£25.16
