Pages that link to "Item:Q3984419"
From MaRDI portal
The following pages link to Proof theory in the USSR 1925–1969 (Q3984419):
Displaying 10 items.
- Glushkov's evidence algorithm (Q466397) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- From the history of the renaissance of logic in the USSR in 1941--1946. I (Q2811665) (← links)
- 2005–06 Winter Meeting of the Association for Symbolic Logic (Q3412464) (← links)
- Image of Soviet and Russian logic in the West. Latter Half of the XXth Century (Q5059702) (← links)
- Some pitfalls of LK-to-LJ translations and how to avoid them (Q5234695) (← links)
- (Q5692792) (← links)
- On V.A. Yankov’s Contribution to the History of Foundations of Mathematics (Q5886463) (← links)
- Lorenzen's Proof of Consistency for Elementary Number Theory (Q6098749) (← links)
- Decision procedures using model building techniques (Q6560165) (← links)