This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complete declarative and operational semantics. The language is very powerful, supporting higher-order equational deduction and functional computation. Its higher order syntax makes it concise and expressive, abstract data types can be expressed in it, and...

The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The central question posed by the author is whether or not we can construct a theory of design.

This book combines traditional graph theory with the matroid view of graphs in order to throw light on the mathematical approach to network analysis. The authors examine in detail two dual structures associated with a graph, namely circuits and cutsets. These are strongly dependent on one another and together constitute a third, hybrid, vertex-independent structure called a graphoid, whose study is here termed hybrid graph theory. This approach has particular relevance for network analysis. The first account of the subject in book form, the text includes many new results as well as the...

William of Ockham (c. 1285-c. 1387) was the most eminent theologian and philosopher of his day, a Franciscan friar who came to believe that the Avignonese papacy of John XXII had set out to destroy the religious ideal on which his order was based: the complete poverty of Christ and the Apostles. A Short Discourse on Tyrannical Government is an attack on the claims of the medieval Church, specifically the papacy, to universal spiritual and secular power. Written at the time of the emergence of the European nation-states, Ockham's work issued a direct hard-hitting challenge to the claims of...

Milton Israel's 1994 book describes the role of the press in the last stage of the nationalist struggle in India before the British departure.

A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.