2 works on record
Mathematical Intuitionism and Intersubjectivity
History and Philosophy of Polish Logic