The Birth of model theory : Lowenheim'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...
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Princeton :
Princeton University Press,
2008.
|
Sujets: | |
Accès en ligne: | Texto completo |