Login

Type of document: Typescript

Language: English

Author(s): NĂ©meti, I.

Title: Nonstandard Dynamic Logic

Year: 1982

Source: Logics of Programs

Pages: 1-39

Place of publication: Mathematical Institute of the Hungarian Academy of Sciences

Catalog