Algoritmid ja diagonaalsed tõestusedBuldas, AhtoArvutustehnika ja Andmetöötlus1995 / 1, lk. 5-10

Diagrammatikus érvelés - a kétkedés vége? = Diagrammatic Reasoning : The End of Scepticism?Moktefi, AmiroucheMagyar Tudomany2019 / p. 970–978 http://dx.doi.org/10.1556/2065.180.2019.7.4

JärelsõnaTammet, TanelGödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga2020 / lk. 125−135 https://www.ester.ee/record=b5346988*est

Logical investigations on assertion and denialCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroJournal of applied logic2017 / p. S1-S2 https://doi.org/10.1016/j.jal.2017.11.003

Machine assisted proofs in the theory of monadsAltenkirch, Thorsten; Chapman, James; Uustalu, Tarmo21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 83-85 https://jmchapman.io/papers/Assisted_Monads.pdf

Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y

Relativism ja jumalatõestusEintalu, JüriLooming1997 / 3, lk. 369-384

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamThe interplay of mathematics, logic, and linguistics2021 / p. 377-406 https://doi.org/10.1007/978-3-030-66545-6_11

Tarmo Soomere: "Tõde on liiga keeruline"Soomere, TarmoEesti Ekspress2016 / lk. 24-27 : fot

Towards scalable proofs of robot swarm dependabilityVain, Jüri; Tammet, Tanel; Kuusik, Alar; Juurik, SilverBEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia2008 / p. 199-202 : ill

Uus väljakutse matemaatikuteleKrustok, JüriPostimees1997 / 30. nov., lk. 13