Bocheński claims that it would be very useful to apply logical tools to philosophical and theological investigations. His viewpoint can be ascribed to the fact that during Bocheński's youth logic and reflections on the foundations of mathematics flourished. His seminal work on these issues is the book Gottes Dasein und Wesen. Logische Studien zur Summa Theologiae I, qq. 2–11 (2003). Due to the fact that it was necessary to introduce numerous corrections to it, the book was published over a decade after submitting the manuscript to the publishing house in 1989 (according to certain sources, in 1991). There exist two manuscripts: one German (1989b) and one Polish (1993b). The latter contains also Bocheński's unpublished works, including the analyses of Question 1 from St. Thomas Aquinas' Summa Theologiae. In this Question, Aquinas focuses on the ways of understanding the term sacra doctrina. Bocheński's text, which is a logical analysis of that Question, seems to be almost completed. With reference to the topic and the method of analysis, the text constitutes a whole together with the analyses of Questions 2–11, published in Bocheński (2003).