TY  - BOOK
A2  - H.-D. Ebbinghaus, J. Flum, W. Thomas.
A3  - Flum, Jörg.
A3  - Thomas, Wolfgang
AU  - Ebbinghaus, Heinz-Dieter
ET  - 2nd ed.
KW  - Logika symboliczna i matematyczna
NV  - X, 289 s. ;
PY  - 1994
SN  - 0387942580
SN  - 3540942580
TI  - Mathematical logic /
ER  -