On connections between classical and constructive semantics

Sergei Starchenko, Andrei Voronkov, Per Martin-Löf (Editor), Grigori Mints (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this