Implikative BCK-Algebren.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 34/35, p. 547, doi. 10.1002/malq.19800263404
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1980 AND VI 26 AND IP 34/35
Results: 5
1
2
Some Remarks on the Structure of Expansions.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 34/35, p. 537, doi. 10.1002/malq.19800263403
- By:
- Publication type:
- Article
3
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 34/35, p. 529, doi. 10.1002/malq.19800263402
- By:
- Publication type:
- Article
4
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 34/35, p. fmi, doi. 10.1002/malq.19800263401
- Publication type:
- Article
5
A Hierarchy of Models for Skala's Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 34/35, p. 555, doi. 10.1002/malq.19800263405
- By:
- Publication type:
- Article