by Fletcher, Peter
Published in Journal of philosophical logic (01.12.2020)

by Piecha, Thomas, Wehmeier, Kai F
Year of Publication 2024

by van Atten, Mark
Published in Indagationes mathematicae (01.12.2018)

by Niki, Satoru, Omori, Hitoshi
Published in Reports on mathematical logic (2021)

by Galina Goremykina
Published in Современные информационные технологии и IT-образование (01.12.2021)

by Cabral, Tânia Cristina Baptista, Baldino, Roberto Ribeiro
Published in Boletim de educação matemática BOLEMA (2024)

Year of Publication 2020

by Cook, Roy T.
Published in Erkenntnis (01.03.2014)

by Santo, José Espírito, Ivetić, Jelena, Likavec, Silvia
Published in Fundamenta informaticae (01.01.2012)

by Urbańczyk, Piotr
Published in Zagadnienia Filozoficzne w Nauce (Online) (01.09.2014)

by Rumfitt, Ian
Published in Topoi (01.04.2012)

by Iemhoff, Rosalie
Published in Archive for mathematical logic (01.03.2010)

by Humberstone, Lloyd
Published in Synthese (Dordrecht) (01.07.2004)

by Toninho, Bernardo, Caires, Luis, Pfenning, Frank
Published in Foundations of Software Science and Computational Structures (2012)

by Ghilezan, Silvia, Ivetić, Jelena, Lescanne, Pierre, Žunić, Dragisa
Published in Logic, Language, and Computation (2011)

by FELLIN, GIULIO, SCHUSTER, PETER
Published in The review of symbolic logic (01.03.2025)

by BAAZ, MATTHIAS, ZACH, RICHARD
Published in The Journal of symbolic logic (01.06.2022)

by Felty, Amy, Momigliano, Alberto
Published in Journal of automated reasoning (01.01.2012)

by Kripke, Saul A.
Published in Indagationes mathematicae (01.05.2019)

by Sørensen, Morten Heine, Urzyczyn, Paweł
Year of Publication 2006