Sold Out
Book Categories |
Glossary of symbols and abbreviations | ||
General introduction | 1 | |
1 | Basic notions: universal algebra | 6 |
2 | First order languages: semantics | 35 |
3 | Completeness of first order logic | 75 |
4 | Basic notions: model theory | 102 |
5 | The compactness theorem and its mathematical implications | 128 |
6 | Lowenheim - Skolem theorems and their consequences | 163 |
7 | Complete and categorical theories | 192 |
App. A | ordinals and cardinals | 221 |
Bibliography | 227 | |
Index | 233 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionModel Theory
X
This Item is in Your InventoryModel Theory
X
You must be logged in to review the productsX
X
X
Add Model Theory, Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications i, Model Theory to the inventory that you are selling on WonderClubX
X
Add Model Theory, Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications i, Model Theory to your collection on WonderClub |