- Category: Computer
- Pages: : 911 pages
- File type: : PDF, PostScript, DVI
Read and download free eBook intituled Model-Theoretic Logics in format : PDF, PostScript, DVI – : 911 pages created by .
This book brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.
Read and Download Links: