The following pages link to (Q4856241):
Displaying 4 items.
- Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\) (Q2744362) (← links)
- A kind of simplified formal deductive system \(L_0^*\) for the system \(L^*\) (Q2748639) (← links)
- (Q3109500) (← links)
- К проблеме характеризации логик васильевского типа: о табличности логик $I_{\langle x,y \rangle}$ ($x,y\in\{0,1,2,\dots\}$ и $x < y$). Часть II (Q4566144) (← links)
