The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland 2014 · ENGLISH-PO · PDF View details →
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems 1999 · ENGLISH · PDF View details →
