PP-1999-20: Hoogland, Eva and Marx, Maarten and Otto, Martin (1999) Beth Definability for the Guarded Fragment. [Report]
Text (Full Text)
PP-1999-20.text.ps.gz Download (107kB) |
|
Text (Abstract)
PP-1999-20.abstract.html Download (1kB) |
Item Type: | Report |
---|---|
Report Nr: | PP-1999-20 |
Series Name: | Prepublication (PP) Series |
Year: | 1999 |
Date Deposited: | 12 Oct 2016 14:36 |
Last Modified: | 12 Oct 2016 14:36 |
URI: | https://eprints.illc.uva.nl/id/eprint/20 |
Actions (login required)
View Item |