Ebbinghaus, Heinz-Dieter ((1939- ).)
Mathematical logic / / H.-D. Ebbinghaus, J. Flum, W. Thomas.
2nd ed.
New York : Springer, 1994.
X, 289 s. ; 24 cm.
(Undergraduate Texts in Mathematics)
(Undergraduate Texts in Mathematics ISSN 0172-6056)
ISBN 0-387-94258-0 ISBN 3-540-94258-0
Logika symboliczna i matematyczna
N.20247
UKD: 510.6(075.8)=111