리브레 위키 본인 작성 문서를 가져옴 |
잔글 문자열 찾아 바꾸기 - "\[\[위키백과:(.*)\]\]" 문자열을 "{{위키백과|$1}}" 문자열로 |
||
| 63번째 줄: | 63번째 줄: | ||
** [[콤팩트성 정리]] | ** [[콤팩트성 정리]] | ||
** [[뢰벤하임-스콜렘 정리]] | ** [[뢰벤하임-스콜렘 정리]] | ||
* | * {{위키백과|1차 논리}} | ||
* [[Wikipedia:First Order Logic]] | * [[Wikipedia:First Order Logic]] | ||
* [http://web.yonsei.ac.kr/bkim/MLnote.pdf 연세대학교 김병한 교수의 수리논리 수학노트] | * [http://web.yonsei.ac.kr/bkim/MLnote.pdf 연세대학교 김병한 교수의 수리논리 수학노트] | ||