Merkliste 
 1 Ergebnisse 
 
1

Sound functors:

, In: Lecture Notes in Mathematics; ⊨ISILC Proof Theory Symposion,
Crossley, J N ; Nerode, Anil - p. 26-43 , 1975