Acta Universitatis Gothoburgensis: Recent submissions
Now showing items 361-380 of 787
-
The Arabic dialect of Susa (Tunisia)
(1979) -
Studies in Cladophora
(1963) -
Study skill and learning
(1976) -
Middle English words for town""
(1995) -
Les parlers du Marais Vendéen.
(1959) -
Elitidrott, karriär och avslutning
(1997) -
Arithmetical realizations of modal formulas. Preliminary version.
(1996)This thesis deals with provability logic. Strengthenings are obtained of some arithmetical completeness theorems by Berarducci, Carlson, Shavrukov, and Solovay. Conditions are provided for recursively enumerable sets of ...