Khác biệt giữa bản sửa đổi của “Lý thuyết hình thái”
Nội dung được xóa Nội dung được thêm vào
→Đọc thêm: thêm vài link |
→Tham khảo: thêm tham khảo + links |
||
Dòng 68:
== Tham khảo ==
* Bell, John L. (2012). "Types, Sets and Categories" (PDF). In Kanamory, Akihiro (ed.). ''Sets and Extensions in the Twentieth Century'' ([http://publish.uwo.ca/~jbell/types.pdf PDF]). Handbook of the History of Logic. '''6'''. Elsevier.
* Church, Alonzo (1940). "A formulation of the simple theory of types". ''The Journal of Symbolic Logic''. '''5''' (2): 56–68. JSTOR 2266170.
* Farmer, William M. (2008). "The seven virtues of simple type theory". ''Journal of Applied Logic''. '''6''' (3): 267–286.
== Đọc thêm ==
| |||