The sleuth-like style and lucid writing certainly make this book an enjoyable read. Many explanations are framed by relevant historical context and tales of mathematicians whose use of experimental mathematics helped them gain insights into difficult problems. Although it was never intended to be a course textbook, it could be used as a supplementary text. Many of the chapters are short, and sh...

Yoad Winter’s Elements of Formal Semantics is a lucid, well-organized, rather concise, and opinionated introductory textbook of formal natural language semantics. “Formal semantics” here refers to the study of sentence meaning and its tight connection to sentence structure, described with precision using mathematical methods. Elements introduces the central questions, concerns, and techniques o...

THIS is a most interesting and informative book, and it is one which will fill a genuine gap on the over-burdened bookshelves of medical literature. It covers all the surgical diseases of the colon. The descriptions of the signs, symptoms and diagnosis, the preand post-operative treatment are lucid and written in a fluent style. On reading the book one gets the impression that the main attentio...

There has now been much work on school refusal, but this book is welcome , as the problem is discussed with the general practitioner in mind. Clyne feels that the family doctor is the appropriate agent of treatment for the parents and for children whose disturbance in relationships is reflected in non-attendance at school. This book is clearly written, well produced and the theme logically deve...

“Restall has written a masterful book that is well motivated by persuasive examples, a book that is marvellously lucid, and chock full of a distinctive combination of conceptual insight, good taste and mathematical elegance. This book is a perfect authoritative introduction to a burgeoning topic, eminently suitable to graduate students. Everything is explained from the ground up in a style that...

In dialogical argumentation, a participant is often unsure what moves the other participant(s) might make. If the dialogue is proceeding according to some accepted protocol, then a participant might be able to determine what are the possible moves that the other might make, but the participant might be unsure as to which move will be chosen by the other agent. In this paper, propositional execu...

This work-in-progress focuses on the refinement of application of the intensional logic to cyberforensic analysis and its benefits are compared with the finite-state automata approach. This work extends the use of the scientific intensional programming paradigm onto modeling and implementation of a cyberforensics investigation process with the backtrace of event reconstruction, modeling the evi...