Model Theory

Model Theory

C.C. Chang and H.J. Keisler (Eds.)
5.0 / 4.0
0 comments
Որքա՞ն է ձեզ դուր եկել այս գիրքը:
Ինչպիսի՞ն է բեռնված ֆայլի որակը:
Բեռնեք գիրքը` գնահատելու դրա որակը
Ինչպիսի՞ն է բեռնված ֆայլերի որակը:
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.

This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text

Կատեգորիաներ:
Տարի:
1990
Հրատարակչություն:
North Holland
Լեզու:
english
ISBN 10:
0444880542
ISBN 13:
9780444880543
Սերիաներ:
Studies in Logic and the Foundations of Mathematics 73
Ֆայլ:
PDF, 9.13 MB
IPFS:
CID , CID Blake2b
english, 1990
Կարդալ Առցանց
Փոխարկումը դեպի կատարվում է
Փոխարկումը դեպի ձախողվել է

Հիմնական արտահայտություններ