Mark Reynolds – författare

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.

A fully illustrated history of Ireland’s most famous sporting institution, published in association with the GAA museum in Croke Park. This is a fascinating and colourful introduction to Gaelic games, covering football, hurling, camogie and handball. This pocket sized book features all the key events in the GAA’s illustrious history, as well as biographies of famous players, rolls of honour, county information and the stories behind some of the GAA’s cups and trophies.