Definability in partial logic the propositional part - Thijsse, Elias (1990)
Teilw. zugl.: Tilburg, Univ., Diss.