The following pages link to Nikolai Nikolaevic Vorob'Ev (Q3206690):
Displaying 12 items.
- (Q3206691) (← links)
- (Q3226055) (← links)
- (Q3256608) (← links)
- (Q3259711) (← links)
- (Q3270250) (← links)
- (Q3274606) (← links)
- (Q3288574) (← links)
- (Q3323727) (← links)
- Finite games without coalitions (Q5517479) (← links)
- A new algorithm for derivability in the constructive propositional calculus (Q5608767) (← links)
- The present state of the theory of games (Q5630870) (← links)
- A constructive calculus of statements with strong negation (Q5661482) (← links)
