Теорема компактности — разлика између измена

{{reflist}}

 

* {{ cite book | last=Boolos | first=George | coauthors=Jeffrey, Richard; Burgess, John | title=''Computability and Logic'' | edition=fourth edition | year=2004 | publisher="Cambridge University Press }}

* {{ cite book | last=Chang | first=C.C. | coauthors=[[Howard Jerome Keisler|Keisler, H. Jerome]] | publisher=[[Elsevier]] | title=Model Theory | year=1989 | edition=third edition | isbn=0-7204-0692-7 }}