3. Prädikatenlogik

Prädikatenlogik 
Von AL zur PL 
1. und 2. Stufe 
Syntax Namen 
alternative Syntax 
Interpretation von Namen 
Sprachen 
gebundene Variablen