Search for persons
X
?
Studies in Universal Logic; Decidability of Logical Theories and Their Combination ,
11
First-Order Logic:
, In:
?
Studies in Universal Logic; Decidability of Logical Theories and Their Combination ,
13
Combination of Theories:
, In:
?
Studies in Universal Logic; Decidability of Logical Theories and Their Combination ,
14
Reasoning with Theories:
, In:
?
Studies in Universal Logic; Decidability of Logical Theories and Their Combination ,
15