Closed Fragments of Provability Logics of Constructive Theories

A. Visser

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht
Publisher	Logic Group Preprint Series 259
Publication status	Published - 2007

Access to Document

http://www.phil.uu.nl/preprints/lgps/

Cite this