Poizat, Bruno
A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated by Moses Klein. -- New York ; Berlin ; Heidelberg : Springer Verlag, c2000. -- xxxi, 443 s. -- (Universitext). -- ISBN : 0387986553 (váz.).
Klein, Moses
matematická logika. matematické modelování. vědecké teorie. učebnice vysokých škol
001.5:51. 510.6. 519.87. (075.8)