stanford-oval/wikipedia huggingface dataset:
Alfred Russel Wallace

| Alfred Russel Wallace OM FRS |
| --- | --- |
Wallace vào năm 1895
Sinh: (1823-01-08)8 tháng 1 năm 1823 Llanbadoc, Monmouthshire, Wales
Mất: 7 tháng 11 năm 1913(1913-11-07) (90 tuổi) Broadstone, Dorset, Anh quốc
Nổi tiếng vì:  Đồng khám phá chọn lọc tự nhiên  Các công trình địa lý sinh học tiên phong  Đường Wallace  Hiệu ứng Wallace 
Giải thưởng:  Huy chương Hoàng gia (1868)  Huy chương vàng của Société de Géographie (1870)  Huy chương Darwin (1890)  Huy chương Founder (1892)  Huy chương Linne (1892)  Huy chương Copley (1908)  Huy chương Darwin–Wallace (Vàng, 1908)  Order of Merit (1908) 
Sự nghiệp khoa học
Ngành: Thám hiểm, sinh học tiến hóa, động vật học, địa lý sinh học, và cải cách xã hội
Tên viết tắt trong IPNI: Wallace
 
Alfred Russel Wallace OM FRS (8 tháng 1 năm 1823 - 7 tháng 11 năm 1913) là nhà tự nhiên học, nhà thám hiểm, nhà địa lý, nhà nhân chủng học, nhà sinh vật học và nhà phác họa người Anh. Ông nổi tiếng vì đã độc lập khám phá ra tiến hóa bằng con đường chọn lọc tự nhiên; bài báo của ông về chủ đề này đã được xuất bản chung với một số bài viết của Charles Darwin vào năm 1858. Điều này đã thúc đẩy Darwin xuất bản tác phẩm Nguồn gốc các loài.
Wallace nghiên cứu ở nhiều nơi trên thế giới, ban đầu ở đồng bằng sông Amazon và tiếp đến là quần đảo Mã Lai, nơi đây ông phát hiện ra đường Wallace chia quần đảo Indonesia thành hai phần khác biệt về sinh học, trong đó có nhiều loài động vật có quan hệ mật thiết với động vật ở Australia, và một số loài có nguồn gốc từ châu Á. Ông được coi là chuyên gia hàng đầu của thế kỷ 19 về sự phân bố địa lý của các loài động vật và đôi khi người ta gọi ông là "cha đẻ của địa sinh học".
Wallace là một trong những nhà tư tưởng hàng đầu của thế kỷ 19 và đã có những đóng góp vào sự phát triển của học thuyết tiến hóa bên cạnh người đồng phát hiện ra sự chọn lọc tự nhiên. Đó là khái niệm về cảnh báo màu sắc (warning colouration) ở động vật, và hiệu ứng Wallace, một giả thuyết về quá trình chọn lọc tự nhiên đã đóng góp như thế nào vào phát sinh loài (speciation) bằng củng cố sự phát triển các rào cản chống lại lai hóa.
Wallace đã bị thu hút mạnh mẽ bởi những ý tưởng độc đáo. Sự ủng hộ của ông cho Chủ nghĩa tinh thần và niềm tin vào nguồn gốc phi vật chất ở những năng lực tư duy của con người đã giới hạn các mối quan hệ của ông với cộng đồng khoa học, đặc biệt với những người đề xướng ban đầu của thuyết tiến hóa. Ngoài nghiên cứu khoa học, ông cũng là một nhà hoạt động xã hội với những phê phán về bất công trong xã hội cũng như hệ thống kinh tế trong thế kỷ 19 ở Anh. Mối quan tâm của ông về địa sinh học đã khiến ông trở thành một trong những nhà khoa học đầu tiên đề cập đến những tác động của môi trường đến hoạt động của con người. Wallace đã viết nhiều tác phẩm khoa học cũng như về các vấn đề xã hội; bao gồm những nghiên cứu của ông trong các hành trình thám hiểm tại Indonesia và Malaysia, tác phẩm The Malay Archipelago, là một trong những bài báo phổ biến và ảnh hưởng nhất trong lĩnh vực khoa học khám phá được công bố trong thế kỷ 19.
Tiểu sử > Tuổi nhỏ

Wallace sinh ở làng Welsh thuộc Llanbadoc, gần Usk, Monmouthshire. Ông là người con thứ bảy trong tám người con của ông bà Thomas Vere Wallace và Mary Anne Greenell. Thomas Wallace có nguồn gốc Scotland. Gia đình ông, cũng như những gia đình mang họ Wallace ở Scotland, cho rằng họ là hậu duệ của William Wallace, người lãnh đạo nhân dân Scotland trong Chiến tranh độc lập Scotland ở thế kỷ 13. Thomas Wallace có bằng luật nhưng ông chưa bao giờ hành nghề này. Ông đã thừa hưởng một số tài sản phát sinh từ lợi tức kinh doanh của gia đình, nhưng dần dần kết quả kinh doanh đầu tư bị thua lỗ khiến cho tài chính của gia đình ông sa sút. Mẹ ông xuất thân từ gia đình trung lưu Anh từ Hertford, phía bắc Luân Đôn. Khi Wallace 5 tuổi, gia đình ông dời đến Hertford. Tại đây ông học trường tiểu học Richard Hale cho đến khi những khó khăn về tài chính buộc ông phải bỏ học năm 1836.
Dẫn chứng

↑  Smith, Charles H. “Responses to Questions Frequently Asked About Wallace: Was Wallace actually a Welshman, as seems to be increasingly claimed?”. The Alfred Russel Wallace Page hosted by Western Kentucky University. Bản gốc lưu trữ ngày 9 tháng 5 năm 2008. Truy cập ngày 20 tháng 1 năm 2008.
↑
↑  Smith, Charles H. “Alfred Russel Wallace: Evolution of an Evolutionist Introduction”. The Alfred Russel Wallace Page hosted by Western Kentucky University. Bản gốc lưu trữ ngày 18 tháng 2 năm 2009. Truy cập ngày 27 tháng 4 năm 2007.
↑  Wilson The Forgotten Naturalist p. 1.
1 2  Smith, Charles H. “Alfred Russel Wallace: A Capsule Biography”. The Alfred Russel Wallace Page hosted by Western Kentucky University. Bản gốc lưu trữ ngày 5 tháng 4 năm 2007. Truy cập ngày 27 tháng 4 năm 2007.
↑  Wilson pp. 6–10.
Bức ảnh từ tự thuật của Wallace chụp tòa nhà mà Wallace và người anh em John đã thiết kế và xây dựng cho Viện cơ học ở Neath.
Tephrosia clementii

| Tephrosia clementii |
| --- | --- |

Phân loại khoa học 
Giới:: Plantae
nhánh:: Tracheophyta
nhánh:: Angiospermae
nhánh:: Eudicots
nhánh:: Rosids
Bộ:: Fabales
Họ:: Fabaceae
Tông:: Millettieae
Chi:: Tephrosia
Loài:: T. clementii
Danh pháp hai phần
Tephrosia clementii Skan

Tephrosia clementii là một loài thực vật có hoa trong họ Đậu. Loài này được Skan miêu tả khoa học đầu tiên.
Chú thích

↑  The Plant List (2010). “Tephrosia clementii”. Truy cập ngày 5 tháng 6 năm 2013.
Cilunculus misesetosus

| Cilunculus misesetosus> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
Lớp (class): Pycnogonida
Bộ (ordo): Pantopoda
Họ (familia): Ammotheidae
Chi (genus): Cilunculus
Loài (species): C. misesetosus
Danh pháp hai phần
Cilunculus misesetosus Turpaeva, 2005 
Cilunculus misesetosus là một loài nhện biển trong họ Ammotheidae. Loài này thuộc chi Cilunculus. Cilunculus misesetosus được miêu tả khoa học năm 2005 bởi Turpaeva.
Bulbophyllum hymenochilum

| Bulbophyllum hymenochilum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Asparagales
Họ (familia): Orchidaceae
Phân họ (subfamilia): Epidendroideae
Chi (genus): Bulbophyllum
Loài (species): B. hymenochilum
Danh pháp hai phần
Bulbophyllum hymenochilum Kraenzl. 
Bulbophyllum hymenochilum là một loài phong lan thuộc chi Bulbophyllum.
Rot (toán tử)

Đối với các định nghĩa khác, xem Curl (định hướng).
Trong giải tích vector, toán tử rot (vài nơi còn gọi là curl) là một toán tử vector mô tả độ xoáy của một trường vector. Tại bất kì điểm nào trên trường vector, rot được biểu thị bằng một vector. Các thuộc tính của vector này (độ dài và hướng) nói lên bản chất của độ xoáy tại điểm đó.
Hướng của rot là trục xoay, định bởi luật bàn tay phải, và độ lớn của rot là độ lớn của mức độ xoáy. Nếu trường vector tượng trưng cho vận tốc chảy của một chất lỏng đang lưu chuyển, thì rot sẽ là mật độ xoáy của chất lỏng đó. Một trường vector với rot bằng zero được gọi là không xoáy.
Định nghĩa

Rot của một trường vector F, ký hiệu là  \operatorname {rot} \ \mathbf {F}  hay  \nabla \times \mathbf {F} , tại một điểm được định nghĩa bởi:
Ở đây  \oint _{C}\mathbf {F} \cdot d\mathbf {r}  là tích phân đường dọc theo biên của vùng đang xét (i.e.,  C=\partial {\mathcal {A}}), và  \,A là diện tích của  {\mathcal {A}}. Nếu  \mathbf {\hat {\nu }}  là vector bán kính nằm trong mặt phẳng, mà  \mathbf {\hat {n}}   là vector đơn vị vuông góc với mặt phẳng (xem hình bên), thì hướng của C được chọn sao cho vector  \mathbf {\hat {\omega }}  tiếp tuyến với C được định hướng dương nếu và chỉ nếu  \{\mathbf {\hat {n}} ,\mathbf {\hat {\nu }} ,\mathbf {\hat {\omega }} \} tạo thành một hệ tọa độ  dương trong R3 (quy luật bàn tay phải).
Công thức trên nghĩa là rot của một trường vecto được định nghĩa như là mật độ lưu chuyển của trường
đó. Theo đó
Nếu  (x_{1},x_{2},x_{3}) là tọa độ Cartesian và  (u_{1},u_{2},u_{3}) là tọa độ  curvilinear, thì  a_{i}={\sqrt {\sum \limits _{j=1}^{3}\left({\frac {\partial x_{j}}{\partial u_{i}}}\right)^{2}}} là độ dài của vector tọa độ tương ứng với  u_{i}. Hai thành phần còn lại của rot có thể tính từ phép hoán vị chỉ số: 3,1,2 -> 1,2,3 -> 2,3,1.
Định nghĩa > Diễn giải theo trực giác

Giả sử trường vector mô tả trường vận tốc của một dòng chảy (có thể là trong một bồn chứa nước lớn hay
bồn khí) và một quả bóng nhỏ được đặt trong chất lỏng hay khí (tâm của quả bóng được gắn chặt vào
một điểm nào đó). Nếu mặt quả bóng xù xì, nó sẽ xoay bởi chất lỏng chảy qua nó. Trục quay (theo quy tắc
bàn tay phải) sẽ chỉ hướng của rot của trường vecto tại tâm của quả bóng, và vận tốc góc sẽ bằng phân nửa giá trị của rot tại điểm đó.
Ngay cả khi các dòng chảy là song song, quả bóng có thể bắt đầu xoay nếu chất lỏng bên này chảy nhanh hơn bên kia.
Sử dụng

Trong thực tế, định nghĩa trên ít được dùng vì trong tất cả mọi trường hợp, toán tử rot có thể được đơn giản hóa ngay trong cả trường hợp tọa độ curvilinear.
Ký hiệu  {\vec {\nabla }}\times {\vec {F}} mặc dù không chính xác nhưng là dạng thường được sử dụng như là một dạng gợi nhớ trong tọa độ Cartesian nếu ta xem  \nabla  là một toán tử vi phân vector del hoặc nabla.
Khai triển trong tọa độ Cartesian  {\vec {\nabla }}\times {\vec {F}} là, cho F gồm 3 thành phần [Fx, Fy, Fz]:
mà trong đó i, j, và k là vector đơn vị của trục x-, y-, và z. Công thức này được khai triển ra như sau:
Mặc dù được viết dưới hệ tọa độ, kết quả là không thay đổi nếu thay đổi hệ trục tọa độ nhưng kết quả sẽ nghịch đảo qua phép đối xứng.
Trong ký hiệu Einstein, với ký hiệu Levi-Civita rot được viết là:
hay là:
với các vecto đơn vị: {\boldsymbol {\hat {e}}}_{k}, k=1,2,3 tương ứng với  {\boldsymbol {\hat {x}}},{\boldsymbol {\hat {y}}}, và  {\boldsymbol {\hat {z}}}.
Chú thích

↑  “curl”. Wolfram MathWorld. Truy cập ngày 1 tháng 7 năm 2008.
↑  Arfken, p. 43.
Hướng của vector của tích phân đường
Argyrodes lanyuensis

| Argyrodes lanyuensis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Theridiidae
Chi (genus): Argyrodes
Loài (species): A. lanyuensis
Danh pháp hai phần
Argyrodes lanyuensis Yoshida, Tso & Severinghaus, 1998 
Argyrodes lanyuensis là một loài nhện trong họ Theridiidae.
Loài này thuộc chi Argyrodes. Argyrodes lanyuensis được miêu tả năm 1998 bởi Yoshida, Tso & Severinghaus.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Aruncus vulgaris

| Aruncus vulgaris> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Rosales
Họ (familia): Rosaceae
Chi (genus): Aruncus
Loài (species): A. vulgaris
Danh pháp hai phần
Aruncus vulgaris Raf., 1838 
Aruncus vulgaris là loài thực vật có hoa trong họ Hoa hồng. Loài này được Raf. mô tả khoa học đầu tiên năm 1838.
Chú thích

↑  The Plant List (2010). “Aruncus vulgaris”. Truy cập ngày 11 tháng 6 năm 2013.[liên kết hỏng]
Psaliodes subochreofusa

| Psaliodes subochreofusa> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Geometridae
Chi (genus): Psaliodes
Loài (species): P. subochreofusa
Danh pháp hai phần
Psaliodes subochreofusa Herbulot, 1988 
Psaliodes subochreofusa là một loài bướm đêm trong họ Geometridae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 17 tháng 6 năm 2014.
Ancylolomia likiangella

| Ancylolomia likiangella> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Crambidae
Chi (genus): Ancylolomia
Loài (species): A. likiangella
Danh pháp hai phần
Ancylolomia likiangella
Ancylolomia likiangella là một loài bướm đêm trong họ Crambidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 19 tháng 6 năm 2014.
↑  Beccaloni, G. W., Scoble, M. J., Robinson, G. S. & Pitkin, B. (Editors). (2003) The Global Lepidoptera Names Index (LepIndex). (Geraadpleegd maart 2013).
Phygadeuon crassus

| Phygadeuon crassus> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Hymenoptera
Họ (familia): Ichneumonidae
Chi (genus): Phygadeuon
Loài (species): P. crassus
Danh pháp hai phần
Phygadeuon crassus (Perkins, 1962) 
Phygadeuon crassus là một loài tò vò trong họ Ichneumonidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 22 tháng 6 năm 2014.
Polymera catharinae

| Polymera catharinae> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Diptera
Họ (familia): Limoniidae
Chi (genus): Polymera
Danh pháp hai phần
Polymera catharinae Alexander, 1931 
Polymera catharinae là một loài ruồi trong họ Limoniidae. Chúng phân bố ở vùng Tân nhiệt đới.
Rubus bambusarum

| Rubus bambusarum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Rosales
Họ (familia): Rosaceae
Chi (genus): Rubus
Loài (species): R. bambusarum
Danh pháp hai phần
Rubus bambusarum Focke, 1891 
Rubus bambusarum là loài thực vật có hoa trong họ Hoa hồng. Loài này được Focke miêu tả khoa học đầu tiên năm 1891.
Chú thích

↑  The Plant List (2010). “Rubus bambusarum”. Truy cập ngày 11 tháng 6 năm 2013.[liên kết hỏng]
Ataco

| Ataco |
| --- | --- |
—  Khu tự quản  —
 
  Hiệu kỳ
 Vị trí của khu tự quản Ataco trong tỉnh Tolima
AtacoVị trí trong Colombia
Quốc gia:  Colombia
Tỉnh (Departmento): Tolima
Thủ phủ: Ataco
Diện tích
 • Tổng cộng: 1.122 km2 (433 mi2)
Dân số (28 tháng 5 năm 2005)
 • Tổng cộng: 20.060
 • Mật độ: 18/km2 (46/mi2)
Ataco là một khu tự quản thuộc tỉnh Tolima, Colombia. Thủ phủ của khu tự quản Ataco đóng tại Ataco Khu tự quản Ataco có diện tích 1122 ki lô mét vuông. Đến thời điểm ngày 28 tháng 5 năm 2005, khu tự quản Ataco có dân số 20060 người.
Argyrodes kualensis

| Argyrodes kualensis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Theridiidae
Chi (genus): Argyrodes
Loài (species): A. kualensis
Danh pháp hai phần
Argyrodes kualensis Hogg, 1927 
Argyrodes kualensis là một loài nhện trong họ Theridiidae.
Loài này thuộc chi Argyrodes. Argyrodes kualensis được Henry Roughton Hogg miêu tả năm 1927.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Bulbophyllum hyalinum

| Bulbophyllum hyalinum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Asparagales
Họ (familia): Orchidaceae
Phân họ (subfamilia): Epidendroideae
Chi (genus): Bulbophyllum
Loài (species): B. hyalinum
Danh pháp hai phần
Bulbophyllum hyalinum Schltr. 
Bulbophyllum hyalinum là một loài phong lan thuộc chi Bulbophyllum.
Alfred Tarski

| Alfred Tarski |
| --- | --- |

Sinh: Alfred Teitelbaum (1901-01-14)14 tháng 1, 1901 Warsaw, Congress Poland
Mất: 26 tháng 10, 1983(1983-10-26) (82 tuổi) Berkeley, California, Hoa Kỳ
Quốc tịch: Polish American
Tư cách công dân: Polish American
Học vị: University of Warsaw (Ph.D., 1924)
Nổi tiếng vì:  Work on the foundations of modern logic  Semantic theory of truth (Convention T)  Tarski's undefinability theorem  Development of model theory  Logic of relations  Banach–Tarski paradox  Tarski-style universes  Tarski's axioms  Tarski monster group 
Sự nghiệp khoa học
Ngành: Toán học, logic, formal language
Nơi công tác:  University of Warsaw (1925–1939)  University of California, Berkeley (1942–1983) 
Luận án: O wyrazie pierwotnym logistyki (On the Primitive Term of Logistic) (1924)
Người hướng dẫn luận án tiến sĩ: Stanisław Leśniewski
Các nghiên cứu sinh nổi tiếng:  Solomon Feferman  Haim Gaifman  Bjarni Jónsson  Howard Jerome Keisler  Roger Maddux  Richard Montague  Anne C. Morel  Andrzej Mostowski  Julia Robinson  Wanda Szmielew  Robert Vaught 
Các sinh viên nổi tiếng: Evert Willem Beth
Ảnh hưởng bởi: Charles Sanders Peirce
Ảnh hưởng tới:  Kenneth Arrow  Rudolf Carnap  John Corcoran  Donald Davidson  Erich Leo Lehmann  Karl Popper  Willard Van Orman Quine  Patrick Suppes 
 
Alfred Tarski (/ˈtɑːrski/; 14 tháng 1 năm 1901 – 26 tháng 10 năm 1983), tên khai sinh Alfred Teitelbaum,  là một nhà logic học và toán học  mang quốc tịch Ba Lan-Mỹ   gốc Ba Lan-Do Thái.   Được đào tạo tại Ba Lan tại Đại học Warsaw, và là thành viên của trường phái logic Lwów-Warsaw và trường phái toán học Warsaw, ông di cư đến Hoa Kỳ vào năm 1939, nơi ông trở thành công dân nhập tịch vào năm 1945. Tarski dạy và nghiên cứu toán học tại Đại học California, Berkeley, từ năm 1942 cho đến khi ông qua đời năm 1983.
Là một tác giả nổi tiếng với các công trình nghiên cứu về lý thuyết mô hình, metamathematics và logic đại số, ông cũng đóng góp cho đại số trừu tượng, tô pô, hình học, lý thuyết độ đo, logic toán, lý thuyết tập hợp và triết học phân tích.
Những người viết tiểu sử về ông Anita Burdman Feferman và Solomon Feferman nói rằng, "Cùng với nhà toán học đương thời Kurt Gödel, ông đã thay đổi bộ mặt logic học của thế kỷ XX, đặc biệt thông qua các công trình của ông về khái niệm chân lý và lý thuyết về các mô hình."
Các công trình > Tuyển tập

1986. The Collected Papers of Alfred Tarski, 4 vols. Givant, S. R., and McKenzie, R. N., eds. Birkhäuser.
Givant Steven (1986). “Bibliography of Alfred Tarski”. Journal of Symbolic Logic. 51 (4): 913–41. doi:10.2307/2273905. JSTOR 2273905.
1983 (1956). Logic, Semantics, Metamathematics: Papers from 1923 to 1938 by Alfred Tarski, Corcoran, J., ed. Hackett. 1st edition edited and translated by J. H. Woodger, Oxford Uni. Press. This collection contains translations from Polish of some of Tarski's most important papers of his early career, including The Concept of Truth in Formalized Languages and On the Concept of Logical Consequence discussed above.
Các công trình > Các ấn phẩm của Tarski

1930 Une contribution a la theorie de la mesure. Fund Math 15 (1930), 42–50.
1930. (with Jan Łukasiewicz). "Untersuchungen uber den Aussagenkalkul" ["Investigations into the Sentential Calculus"], Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie, Vol, 23 (1930) Cl. III, pp. 31–32 in Tarski (1983): 38–59.
1931. "Sur les ensembles définissables de nombres réels I", Fundamenta Mathematicae 17: 210–239 in Tarski (1983): 110–142.
1936. "Grundlegung der wissenschaftlichen Semantik", Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, vol. III, Language et pseudo-problèmes, Paris, Hermann, 1936, pp. 1–8 in Tarski (1983): 401–408.
1936. "Über den Begriff der logischen Folgerung", Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, vol. VII, Logique, Paris: Hermann, pp. 1–11 in Tarski (1983): 409–420.
1936 (with Adolf Lindenbaum). "On the Limitations of Deductive Theories" in Tarski (1983): 384–92.
1994 (1941). Introduction to Logic and to the Methodology of Deductive Sciences. Dover.
1941. "On the calculus of relations", Journal of Symbolic Logic 6: 73–89.
1944. "The Semantical Concept of Truth and the Foundations of Semantics," Philosophy and Phenomenological Research 4: 341–75.
1948. A decision method for elementary algebra and geometry. Santa Monica CA: RAND Corp.
1949. Cardinal Algebras. Oxford Univ. Press.
1953 (with Mostowski and Raphael Robinson). Undecidable theories. North Holland.
1956. Ordinal algebras. North-Holland.
1965. "A simplified formalization of predicate logic with identity",  Archiv für Mathematische Logik und Grundlagenforschung 7: 61-79
1969. "Truth and Proof", Scientific American 220: 63–77.
1971 (with Leon Henkin and Donald Monk). Cylindric Algebras: Part I. North-Holland.
1985 (with Leon Henkin and Donald Monk). Cylindric Algebras: Part II. North-Holland.
1986. "What are Logical Notions?", Corcoran, J., ed., History and Philosophy of Logic 7: 143–54.
1987 (with Steven Givant). A Formalization of Set Theory Without Variables. Vol.41 of American Mathematical Society colloquium publications. Providence RI: American Mathematical Society. ISBN 978-0821810415ISBN 978-0821810415. Review
1999 (with Steven Givant). "Tarski's system of geometry" Lưu trữ 2008-05-26 tại Wayback Machine, Bulletin of Symbolic Logic 5: 175–214.
2002. "On the Concept of Following Logically" (Magda Stroińska and David Hitchcock, trans.) History and Philosophy of Logic 23: 155–196.
Phygadeuon clypearis

| Phygadeuon clypearis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Hymenoptera
Họ (familia): Ichneumonidae
Chi (genus): Phygadeuon
Loài (species): P. clypearis
Danh pháp hai phần
Phygadeuon clypearis Strobl, 1901 
Phygadeuon clypearis là một loài tò vò trong họ Ichneumonidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 22 tháng 6 năm 2014.
Atacira

| Atacira> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Noctuidae
Phân họ (subfamilia): Euteliinae
Chi (genus): Atacira Swinhoe, 1900
Atacira từng là một chi bướm đêm thuộc họ Noctuidae. Hiện tại nó được coi là đồng nghĩa của Eutelia.
Các loài

Atacira approximata (Walker, 1863)
Atacira olivaceiplaga (Bethune-Baker, 1906)
Psilochorus dogmaticus

| P>  dogmaticus.Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Pholcidae
Chi (genus): Psilochorus
Danh pháp hai phần
Psilochorus dogmaticus Chamberlin, 1924 
Psilochorus dogmaticus là một loài nhện trong họ Pholcidae. Loài này được phát hiện ở México.
Chú thích

↑  Chamberlin, R. V. (1924) The spider fauna of the shores and islands of the Gulf of California. Proc. Calif. Acad. Sci. 12: 561-694.
Polygonum floribundum

| Polygonum floribundum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Caryophyllales
Họ (familia): Polygonaceae
Chi (genus): Polygonum
Loài (species): P. floribundum
Danh pháp hai phần
Polygonum floribundum Schltdl. ex Spreng., 1825 
Polygonum floribundum là một loài thực vật có hoa trong họ Rau răm. Loài này được Schltdl. ex Spreng. miêu tả khoa học đầu tiên năm 1825.
Chú thích

↑  The Plant List (2010). “Polygonum floribundum”. Truy cập ngày 19 tháng 9 năm 2013.
Rubus arrhenii

| Rubus arrhenii> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Rosales
Họ (familia): Rosaceae
Chi (genus): Rubus
Loài (species): R. arrhenii
Danh pháp hai phần
Rubus arrhenii (Lange) Lange, 1864 
Rubus arrhenii là loài thực vật có hoa trong họ Hoa hồng. Loài này được (Lange) Lange miêu tả khoa học đầu tiên năm 1864.