The following pages link to Albert G. Dragalin (Q1896753):
Displaying 41 items.
- Explicit algebraic models for constructive and classical theories with non-standard elements (Q1896754) (← links)
- Completeness and cut-elimination theorems for high-order classical logic. Constructive method (Q1901891) (← links)
- On the use of classical calculi for establishing constructive truth (Q2558216) (← links)
- (Q2770672) (← links)
- (Q3315509) (← links)
- (Q3418695) (← links)
- (Q3475264) (← links)
- (Q3481700) (← links)
- (Q3718676) (← links)
- (Q3718677) (← links)
- (Q3741624) (← links)
- (Q3762290) (← links)
- (Q3775557) (← links)
- (Q3792682) (← links)
- (Q3809303) (← links)
- (Q3855174) (← links)
- (Q3863884) (← links)
- (Q3880841) (← links)
- (Q3936731) (← links)
- (Q3937386) (← links)
- (Q3941403) (← links)
- (Q4039813) (← links)
- (Q4053587) (← links)
- (Q4060949) (← links)
- ANDREI ANDREEVICH MARKOV (on his seventieth birthday) (Q4070808) (← links)
- (Q4101792) (← links)
- (Q4293477) (← links)
- (Q4371039) (← links)
- (Q4386982) (← links)
- (Q4733440) (← links)
- (Q5183472) (← links)
- (Q5566519) (← links)
- (Q5566520) (← links)
- (Q5585412) (← links)
- (Q5598344) (← links)
- (Q5602106) (← links)
- (Q5604467) (← links)
- (Q5605219) (← links)
- (Q5611767) (← links)
- (Q5646884) (← links)
- (Q5656770) (← links)
