Login

Type of document: Article

Language: English

Author(s): Yasugi, Mariko

Title: A Formalization of Od($\Omega$)

Year: 1978

Source: Seorsum Impressum

Volume: 27

Pages: 133-154

Catalog