Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that con

Explores the early stages of the development of string theory; essential reading for physicists, historians and philosophers of science.

Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that con

Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of

In 2010, French mathematician Cédric Villani received the Fields Medal, the most coveted prize in mathematics, in recognition of a proof which he devised with