Piotr Urbańczyk, Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki, Zagadnienia Filozoficzne w Nauce, 2014, , 56, s. 33-56