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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback