Model Theory and the Philosophy of Mathematical Practice : Formalization without Foundationalism

Omtale

Surveys the history of modern model theory, emphasizing the significance, both for philosophy and for mathematical practice, of its mid-twentieth century transformation. Rich in both context and technical detail, this book will appeal to those working on the history and philosophy of mathematics.