The following pages link to A. A. Kuzichev (Q1069921):
Displayed 11 items.
- Addition of noncombinatorial relations to the lambda calculus (Q1069922) (← links)
- Permissibility of a cut in combinatorily complete systems with equality (Q1151885) (← links)
- A conservative extension of a formal arithmetic (Q1264136) (← links)
- (Q3714052) (← links)
- A Theory of Ambiguous Types and Its Axiomatizations (Q3813789) (← links)
- (Q3889023) (← links)
- (Q3898467) (← links)
- Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation (Q4031104) (← links)
- THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE (Q4295242) (← links)
- ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES (Q4295257) (← links)
- Translations of Logical Formulas and the Equiconsistency Problem (Q4304148) (← links)