//-->
Programs and machines : an introd. to the theory of computation
Bird, Richard, (1976)
Introduction to mathematical logic
Hermes, Hans, (1973)
Einführung in die mathematische Logik
Ebbinghaus, Heinz-Dieter, (1996)
Grundzüge der mathematischen Logik
Scholz, Heinrich, (1961)