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

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

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

* {{ cite journal | last=Dawson | first=John W. junior | title=The compactness of first-order logic: From Gödel to Lindström | journal=History and Philosophy of Logic | year=1993 | volume=14 | pages=15–37 | doi=10.1080/01445349308837208 }}

* {{Cite book |ref= harv|last=Hodges | first=Wilfrid | authorlink=Wilfrid Hodges | publisher=[[Cambridge University Press]] | title=Model theory | year=1993 |id=ISBN isbn=0-521-30442-3 }}

* {{Cite book |ref= harv|last=Marker | first=David | title= Model Theory: An Introduction | publisher=Springer | year=2002 | isbnid=ISBN 0-387-98760-6| series=[[Graduate Texts in Mathematics]] 217}}

* {{Cite book |ref= harv|last=Truss | first=John K. | title=Foundations of Mathematical Analysis | year=1997 | publisher=[[Oxford University Press]] |id=ISBN isbn=0198533756 }}

* {{Cite book |ref= harv|last=Hummel|first=Christoph|title=Gromov's compactness theorem for pseudo-holomorphic curves |publisher=Birkhäuser |location=Basel, Switzerland |year=1997 |isbnid=ISBN 3-7643-5735-5 |oclc= |doi=}}