Login

Type of document: Typescript

Language: English

Author(s): Yasuhara, Mitsuru

Title: The Interpolation Theorem for Languages with Additional Quantifiers

Year: 1970

Pages: 1-11

Catalog