Autor=Manin, JuriTitel=A Course in Mathematical Logic Verlag=Springer Erscheinungsjahr=1977 ISBN=3-540-90243-0