Publication:5834309
From MaRDI portal
zbMath0060.02102MaRDI QIDQ5834309
Publication date: 1943
Full work available at URL: https://eudml.org/doc/65222
Related Items
PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION, Image of Soviet and Russian logic in the West. Latter Half of the XXth Century, Lorenzen's Proof of Consistency for Elementary Number Theory, Fuzzy constructive logic, Markov's rule revisited, Invertible infinitary calculus without loop rules for restricted FTL