Works matching IS 09335846 AND DT 2003 AND VI 42 AND IP 3
Results: 6
Diophantine properties of finite commutative rings.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 3, p. 293, doi. 10.1007/s001530100130
- By:
- Publication type:
- Article
A new correctness criterion for multiplicative non-commutative proof nets.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 3, p. 205, doi. 10.1007/s001530100127
- By:
- Publication type:
- Article
The modal logic of the countable random frame.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 3, p. 221, doi. 10.1007/s001530100135
- By:
- Publication type:
- Article
A Gentzen-style axiomatization for basic predicate calculus.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 3, p. 245, doi. 10.1007/s001530100132
- By:
- Publication type:
- Article
Barwise's information frames and modal logics.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 3, p. 261, doi. 10.1007/s00153-002-0151-1
- By:
- Publication type:
- Article
Simple and immune relations on countable structures.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 3, p. 279, doi. 10.1007/s00153-002-0150-2
- By:
- Publication type:
- Article