|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Mikhail G. Peretyat'kinPublisher: Springer Science+Business Media Imprint: Kluwer Academic/Plenum Publishers Edition: 1997 ed. Dimensions: Width: 15.60cm , Height: 2.00cm , Length: 23.40cm Weight: 1.370kg ISBN: 9780306110627ISBN 10: 0306110628 Pages: 294 Publication Date: 30 September 1997 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsInterpretations. A Classification to Property Lists. Reductions of Signatures. Quasi-Succession of Morley Rank 2. Constructions with Empty Property List. Constructions with Unary Property List. Rigid Quasi-Succession. Proof of the Main Theorem. Existence Theorems. Complexity of Semantic Classes. Universal Classes of Models. Polar Construction and Analogues of Rice Theorem. Generalization Intelligence in Predicate Logic. Conclusion. Historical Remarks and Problems. Terminology List. Index of Denotatons. Subject Index.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |