B-univ

W) C) (B B) = B (B B B W B) C 組合子 B {\displaystyle B} , C {\displaystyle C} , K {\displaystyle K} 和 W {\displaystyle W} 對應於眾所周知的命題邏輯四公理： AB: (B → C) →

Weishampel, D. B., Dodson, P., and Osmólska, H. (eds.). 2004. The Dinosauria. 2nd edition. Univ. California Press, Berkeley. 833 pp. Weishampel, D. B. & White

（原始内容存档于2018-10-23） （美国英语）.  Hierarchy catalogue. leda.univ-lyon1.fr. [2019-03-23]. （原始内容存档于2022-09-16）.  Binggeli, B.; Sandage, A.; Tammann, G. A. Studies of the

Julian dates, which are converted at imcce.fr （页面存档备份，存于互联网档案馆） (all dates in Univ. Time) NASA – NASA's Kepler Confirms Its First Planet in Habitable Zone of

（原始内容存档于2018-10-23） （美国英语）.  Hierarchy catalogue. leda.univ-lyon1.fr. [2019-03-23]. （原始内容存档于2022-09-16）.  Binggeli, B.; Sandage, A.; Tammann, G. A. Studies of the