 |
| |||
| first-order functional calculus (Stufe); first-order logic (Stufe); first-order predicate calculus (Stufe); first-order predicate logic (Stufe) | |||
|
| |||
| first-order functional calculus (Stufe); first-order logic (Stufe); first-order predicate calculus (Stufe); first-order predicate logic (Stufe) | |||