zbMATH — the first resource for mathematics

On the question of an error in a famous work due to Wajsberg. (Russian) Zbl 0422.03035
Investigations on nonclassical logics and set theory, Work Collect., Moscow 1979, 240-256 (1979).

03F50 Metamathematics of constructive systems
03-03 History of mathematical logic and foundations
01A60 History of mathematics in the 20th century