Khác biệt giữa bản sửa đổi của “Lý thuyết hình thái”

→‎Tham khảo: thêm tham khảo + links
(→‎Đọc thêm: thêm vài link)
(→‎Tham khảo: thêm tham khảo + links)
 
== 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 ==
18.453

lần sửa đổi