Model-Theoretic Logics
Overview & Synopsis
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.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Model-Theoretic Logics |
|---|---|
| Author / Organization | Jon Barwise (Editor), Solomon Feferman (Editor) |
| Subject & Discipline | Mathematical Logic - Computability, Set Theory, Model Theory, etc, Theory of Programming Languages, Theory of Computation, Introduction to Computer Science |
| Categories | Mathematical Logic - Computability, Set Theory, Model Theory, etc |
| Publication Year | 2017 |
| ISBN | 1107168252 |
| Resource Verification | Verification pending |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-73319 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Model-Theoretic Logics • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.