Works matching IS 00393215 AND DT 2000 AND VI 66 AND IP 2
Results: 8
Weakly Associative Relation Algebras with Polyadic Composition Operations.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 297, doi. 10.1023/A:1005204532371
- By:
- Publication type:
- Article
Investigation into Combinatory Systems with Dual Combinators.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 285, doi. 10.1023/A:1005252431462
- By:
- Publication type:
- Article
Functional Dependencies between Variables.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 273, doi. 10.1023/A:1005200414624
- By:
- Publication type:
- Article
The Classification of Propositional Calculi.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 253, doi. 10.1023/A:1005292130553
- By:
- Publication type:
- Article
V.A. Smirnov’s Results in the Field of Modern Formal Logic.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 227, doi. 10.1023/A:1017396213715
- By:
- Publication type:
- Article
Publications of Vladimir Alexandrovich Smirnov.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 215, doi. 10.1023/A:1017305729645
- Publication type:
- Article
Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 205, doi. 10.1023/A:1005287928736
- By:
- Publication type:
- Article
V. A. Smirnov (1931–1996): Work and Life.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 201, doi. 10.1023/A:1005238627828
- By:
- Publication type:
- Article