The following pages link to A. S. Kuzichev (Q1056742):
Displayed 50 items.
- Set theory in type-free combinatorially complete systems (Q1056743) (← links)
- Deductive operators of combinatory logic (Q1214403) (← links)
- On the expressive potentialities of deductive systems of \(\lambda\)- conversion and combinatory logic (Q1217103) (← links)
- Substitution operation in systems with unrestricted principle of combinatorial completeness (Q1239154) (← links)
- Combinatorially complete systems with operators \(\Xi,F,Q,\Pi,\exists,\neg, \&,lor,\equiv\) (Q1240730) (← links)
- Cut theorem for \(\mathfrak R\)-theories in combinatorially complete systems (Q1259577) (← links)
- Formal arithmetic in combinatorily complete systems. I (Q1260022) (← links)
- Formal arithmetic in combinatorily complete systems. II (Q1260023) (← links)
- A conservative extension of a formal arithmetic (Q1264136) (← links)
- A version of formalization of Cantor's set theory. (Q1432151) (← links)
- Solution of the Hilbert central problem following Kolmogorov. (Q1432233) (← links)
- Kolmogorov reduction and consistency (Q1594452) (← links)
- Implicative systems of combinatory logic (Q2555488) (← links)
- Implicative systems of combinatory logic with a universal quantifier (Q2557243) (← links)
- The functionality operator in implicative systems of combinatory logic (Q2558213) (← links)
- Consistent extensions of pure combinatory logic (Q2563158) (← links)
- (Q3214894) (← links)
- (Q3343960) (← links)
- (Q3343961) (← links)
- (Q3343962) (← links)
- (Q3343963) (← links)
- (Q3657970) (← links)
- (Q3674618) (← links)
- (Q3875894) (← links)
- (Q3875895) (← links)
- (Q3898466) (← links)
- (Q3898467) (← links)
- (Q3958433) (← links)
- Paraconsistent intelligent systems of computer logics (Q4007390) (← links)
- (Q4047531) (← links)
- (Q4047532) (← links)
- (Q4052079) (← links)
- (Q4074846) (← links)
- (Q4083400) (← links)
- (Q4115134) (← links)
- (Q4133600) (← links)
- (Q4137144) (← links)
- (Q4177537) (← links)
- (Q4177538) (← links)
- (Q4177539) (← links)
- (Q4177540) (← links)
- (Q4177541) (← links)
- (Q4742766) (← links)
- (Q4744244) (← links)
- (Q4777263) (← links)
- (Q4869973) (← links)
- (Q5540895) (← links)
- (Q5583611) (← links)
- (Q5604470) (← links)
- (Q5605652) (← links)