Deduction Theorem for Many-Valued Inference.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 33-35, p. 533, doi. 10.1002/malq.19910373304
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1991 AND VI 37 AND IP 33-35
Results: 6
1
2
Nonstandard Methods and Finiteness Conditions in Algebra.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 33-35, p. 525, doi. 10.1002/malq.19910373303
- By:
- Publication type:
- Article
3
Degrees of Souslin Trees.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 33-35, p. 513, doi. 10.1002/malq.19910373302
- By:
- Publication type:
- Article
4
Church-Rosser Property for Some Extensions of λβ-Reducibility Relation.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 33-35, p. 547, doi. 10.1002/malq.19910373306
- By:
- Publication type:
- Article
5
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 33-35, p. fmi, doi. 10.1002/malq.19910373301
- Publication type:
- Article
6
Remarks on The Cartesian Closure.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 33-35, p. 539, doi. 10.1002/malq.19910373305
- By:
- Publication type:
- Article