Johan, van Benthem; Kees Doets (2001). 〈Higher-order logic〉(PDF). D. M. Gabbay, F. Guenthner. 《Handbook of philosophical logic, volume 1》 (영어) 2판. Kluwer. 189–243쪽. doi:10.1007/978-94-015-9833-0_3. Zbl1003.03513. 2017년 8월 10일에 원본 문서(PDF)에서 보존된 문서. 2014년 11월 25일에 확인함.더 이상 지원되지 않는 변수를 사용함 (도움말) CS1 관리 - 추가 문구 (링크)
Johan, van Benthem; Kees Doets (2001). 〈Higher-order logic〉(PDF). D. M. Gabbay, F. Guenthner. 《Handbook of philosophical logic, volume 1》 (영어) 2판. Kluwer. 189–243쪽. doi:10.1007/978-94-015-9833-0_3. Zbl1003.03513. 2017년 8월 10일에 원본 문서(PDF)에서 보존된 문서. 2014년 11월 25일에 확인함.더 이상 지원되지 않는 변수를 사용함 (도움말) CS1 관리 - 추가 문구 (링크)
Johan, van Benthem; Kees Doets (2001). 〈Higher-order logic〉(PDF). D. M. Gabbay, F. Guenthner. 《Handbook of philosophical logic, volume 1》 (영어) 2판. Kluwer. 189–243쪽. doi:10.1007/978-94-015-9833-0_3. Zbl1003.03513. 2017년 8월 10일에 원본 문서(PDF)에서 보존된 문서. 2014년 11월 25일에 확인함.더 이상 지원되지 않는 변수를 사용함 (도움말) CS1 관리 - 추가 문구 (링크)
Johan, van Benthem; Kees Doets (2001). 〈Higher-order logic〉(PDF). D. M. Gabbay, F. Guenthner. 《Handbook of philosophical logic, volume 1》 (영어) 2판. Kluwer. 189–243쪽. doi:10.1007/978-94-015-9833-0_3. Zbl1003.03513. 2017년 8월 10일에 원본 문서(PDF)에서 보존된 문서. 2014년 11월 25일에 확인함.더 이상 지원되지 않는 변수를 사용함 (도움말) CS1 관리 - 추가 문구 (링크)
Skolem, Thoralf (1923). 〈Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre〉. 《Fünften Kongress der skandinavischen Mathematiker in Helsingfors vom 4. bis 7. Juli 1922》 (독일어). 217–232쪽. JFM49.0138.02.