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.

This volume is easily accessible to young people and mathematicians unfamiliar with logic. It gives a terse historical picture of Model Theory and introduces th

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in p

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