Type of document: Typescript

Language: English

Author(s): Rabin, Michael O.

Title: Classes of Models and Sets of Sentences with the Intersection Property

Year:

Pages: 1-40

Catalog