|
![]() |
|||
|
||||
OverviewA Collection of Papers by Varoius Authors Full Product DetailsAuthor: D. W. KuekerPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 1975 ed. Volume: 492 Dimensions: Width: 15.50cm , Height: 1.10cm , Length: 23.50cm Weight: 0.700kg ISBN: 9783540074199ISBN 10: 3540074198 Pages: 208 Publication Date: 01 November 1975 Audience: Professional and scholarly , Professional & Vocational Format: Paperback 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 ContentsBack-and-forth arguments and infinitary logics.- Consistency properties for finite quantifier languages.- Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages.- On a finiteness condition for infinitary languages.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |