Basic Model Theory
Overview & Synopsis
Model theory investigates the relationships between mathematical structures ('models') on the one hand and formal languages (in which statements about these structures can be formulated) on the other. Example structures are: the natural numbers with the usual arithmetical operations, the structures familiar from algebra, ordered sets, etc. The emphasis is on first-order languages, the model theory of which is best known.
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 | Basic Model Theory |
|---|---|
| Author / Organization | Kees Doets |
| 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 | 1996 |
| ISBN | 1575860481 |
| Resource Verification | ✓ Verified Direct PDF Available |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Reported File Size | 2925.9 KB (2,996,087 bytes) |
| Language | ENGLISH |
| Catalog ID | DOC-73327 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
Basic Model Theory • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.