93.512
измена
Теорема компактности — разлика између измена
м
→Литература: сређивање издања; козметика
м (razne izmene; козметичке измене) |
м (→Литература: сређивање издања; козметика) |
||
|
== Литература ==
{{refbegin|2}}
* {{Cite book | ref= harv|last=Boolos| first=George | author2=Jeffrey, Richard; Burgess, John | title = Computability and Logic | edition=
* {{Cite book | ref= harv|last=Chang| first=C.C. | author2=[[Howard Jerome Keisler|Keisler, H. Jerome]] | publisher=[[Elsevier]] | title=Model Theory |year=1989| edition=
* {{ 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 | doi=10.1080/01445349308837208|pages=15-37}}
* {{Cite book | ref= harv|last=Hodges| first=Wilfrid | authorlink=Wilfrid Hodges | publisher=[[Cambridge University Press]] | title=Model theory |year=1993|isbn=978-0-521-30442-9}}
| |||