[3] The Łukasiewicz approach was reinvigorated in the early 1970s in a series of papers by John Corcoran and Timothy Smiley that inform modern translations of Prior Analytics by Robin Smith in 1989 and Gisela Striker in 2009.

He was born in Lemberg in Austria-Hungary (now Lviv, Ukraine; Polish: Lwów) and was the only child of Paweł Łukasiewicz, a captain in the Austrian army, and Leopoldina, née Holtzer, the daughter of a civil servant.

[6] In 1915, he was invited to lecture as a full professor at the University of Warsaw, which the German occupation authorities had reopened after it had been closed down by the Tsarist government in the 19th century.

[6] In 1919, Łukasiewicz left the university to serve as Polish Minister of Religious Denominations and Public Education in Paderewski's government until 1920.

Łukasiewicz led the development of a Polish curriculum replacing the Russian, German and Austrian curricula that had been used in partitioned Poland.

After the German occupation authorities had closed the university, he earned a meager living in the Warsaw city archive.

As it became increasingly clear that Germany would lose the war, Łukasiewicz and his wife tried to move to Switzerland, but were unable to get permission from the German authorities.

After the end of the war, unwilling to return to a Soviet-controlled Poland, they moved first to Belgium, where Łukasiewicz taught logic at a provisional Polish Scientific Institute.

[6] In February 1946, at the invitation of Irish political leader Éamon de Valera (himself a mathematician by profession), Łukasiewicz and his wife relocated to Dublin, where they remained until his death there a decade later.

[7] During this period, his book Elements of Mathematical Logic was published in English by Macmillan (1963, translated from Polish by Olgierd Wojtasiewicz).

[14] This notation is the root of the idea of the recursive stack, a last-in, first-out computer memory store proposed by several researchers including Turing, Bauer and Hamblin, and first implemented in 1957.