Search
Aristote
Einstein
2006
with Sigmund Karl, Mühlberger Kurt
Braunschweig, Vieweg
1987
in: Mathematical logic and its applications, Dordrecht : Springer