The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 23/24, p. 357, doi. 10.1002/malq.19910372303
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1991 AND VI 37 AND IP 23/24
Results: 5
1
2
Extreme Choices on Complete Lexicographic Orders.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 23/24, p. 353, doi. 10.1002/malq.19910372302
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 23/24, p. fmi, doi. 10.1002/malq.19910372301
- Publication type:
- Article
4
Some Boolean Valued Commutative Algebra.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 23/24, p. 367, doi. 10.1002/malq.19910372305
- By:
- Publication type:
- Article
5
On A Problem Concerning Parameter Free Induction.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 23/24, p. 363, doi. 10.1002/malq.19910372304
- By:
- Publication type:
- Article