Type of document: Typescript

Language: English

Author(s): Buss, Samuel R.

Title: The Modal Logic of Pure Provability

Year: 1988

Source: Department of Mathematics, University of California, San Diego

Pages: 1-8

Catalog