| Original language | English |
|---|---|
| Title of host publication | Logicism, Intuitionism and Formalism - What has become of them |
| Publication status | Published - 2008 |
A constructive version of the Lusin Separation Theorem
Peter Aczel, ACZEL Peter, S. Lindstrom (Editor), E. Palmgren (Editor), K. Segerberg (Editor), V. Stoltenberg-Hansen (Editor)
Research output: Chapter in Book/Conference proceeding › Chapter