Merkliste 
 1 Ergebnisse 
 
1

First-Order Logic:

, In: Studies in Universal Logic; Decidability of Logical Theories and Their Combination,
Rasga, João ; Sernadas, Cristina - p. 1-34 , 2020