The original version of this story appeared in Quanta Magazine. Calculus is a powerful mathematical tool. But for hundreds of years after its invention in the 17th century, it stood on a shaky ...

The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

In view of the growing prominence of corporate modeling, an important area of research concerns techniques for facilitating the design and utilization of models. In this paper we show how first-order ...