Model-Theoretic Logics

• 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:

Model-Theoretic Logics