First Page | Document Content | |
---|---|---|
Date: 2008-04-15 09:46:42Mathematical logic Epistemology Intuitionism Bar induction Mathematical induction Luitzen Egbertus Jan Brouwer Indecomposable continuum Indecomposability Constructivism Mathematics Mathematical constructivism Logic | Journ. Symb. Logic, [removed], 1174–1150.Document is deleted from original location. Download Document from Web Archive |