Results 81 to 90 of about 1,570 (181)
Taxonomic revision of the genus Machleida Fåhraeus, 1870 (Tenebrionidae, Pimeliinae, Asidini). [PDF]
Zookeys, 2019 Kamiński MJ, Kanda K, Smith AD.
europepmc +1 more source
, 1991 Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three).
Corcoran, John
core
An interpolation theorem for irredundant bases of closure structures
, 1975 The notion of closure structures of finite rank is introduced and several closure structures familiar from algebra and logic are shown to be of finite rank.
Tarski, Alfred, Alfred Tarski
core +1 more source
Remarks on predicate logic with infinitely long expressions
, 1958 A. Tarski
semanticscholar +1 more source
, 2019 Desde su publicación en 1944, La concepción semántica de la verdad y los fundamentos de la semántica, del lógico polaco Alfred Tarski, ha sido fuente de debates e interpretaciones.
Millares Gutiérrez, Laura Daniela
core
Refinement properties for relational structures
, 1964 C. Chang, B. Jónsson, A. Tarski
semanticscholar +1 more source
In the beginning: A review of Robert C. Berwick and Noam Chomsky's Why Only Us. [PDF]
J Lang Evol, 2017 Studdert-Kennedy M, Terrace H.
europepmc +1 more source
Banach–Tarski paradoxen och dess implikationer på måttproblemet
, 2020 Vi presenterar ett bevis av en sats av Stefan Banach och Alfred Tarski, som bygger på resultat av Felix Hausdorff: Det finns två ändliga samlingar av disjunkta delmängder av enhetsbollen i R3 sådana att varje samling kan transformeras till en ny ...
Johansson, Oskar +3 more
core