Mathematical logic

H.-D. Ebbinghaus, J. Flum, W. Thomas
Bok · Engelsk · 1994

Utgitt	New York : Springer , c1994
Omfang	X, 289 s.
Utgave	2nd ed. corr. 2nd print.1996
Emner	Logic, Symbolic and mathematical
ISBN	0387942580. - 3540942580