This is a preview. Log in through your library . Journal Information Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of ...

The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the ...