A thinker from this country invented the first categorial grammar, which he co-names with Yehoshua Bar-Hillel. Anita and Solomon Feferman wrote a definitive 2004 biography of a thinker from this country who argued that “logical notions” must be permutation invariant on a domain. A thinker who led a philosophical school in this nation developed a “calculus of names” and founded the subfield (15[1])of mereology. (15[2])Aristotle’s (*) sea battle argument inspired a thinker from this country to develop the first three-valued logic. (10[2])This nation names both a style (10[1])of prefix (10[1])and a (10[1])“reverse” style (10[1])of postfix logical notation. A logician from this nation defended the view that a statement in an object language is true if and only if it’s true in the metalanguage, his semantic theory of truth. For 10 points, Alfred Tarski and Jan Łukasiewicz (“yahn woo-kah-SHAY-veech”) belonged to what nation’s Lvov–Warsaw School? ■END■