TY  - BOOK
AU  - Lightstone,Albert H.
AU  - Enderton,H.B.
TI  - Mathematical logic: an introduction to model theory
T2  - Mathematical concepts and methods in science and engineering
SN  - 0306308940
AV  - BC135 
U1  - 511.3 
PY  - 1978///
CY  - New York [u.a.]
PB  - Plenum Pr.
KW  - Propositional calculus
KW  - Logic, symbolic and mathematical
KW  - Predicate calculus
KW  - Logic, Symbolic and mathematical
KW  - Model theory
KW  - Modelltheorie
N1  - Literaturverz. S. 329 - 333
UR  - https://swbplus.bsz-bw.de/bsz006162827cov.jpg
UR  - http://www.gbv.de/dms/hbz/toc/ht001221572.pdf
UR  - http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=1909086&custom_att_2=simple_viewer
ER  -