Login

Type of document: Report

Language: English

Author(s): Japaridze, Giorgi ; de Jongh, Dick

Title: The Logic of Provability

Year: 1997

Source: Institute for Logic, Language and Computation, Universiteit van Amsterdam

Pages: 360-432

Catalog