The Birth of Model Theory : Löwenheim's Theorem in the Frame of the Theory of Relatives /
Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant th...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English |
| Published: |
Princeton, NJ :
Princeton University Press,
[2009]
|
| Edition: | Course Book |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|