ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 11, p. 557, doi. 10.1002/malq.19830291102
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1983 AND VI 29 AND IP 11
Results: 4
1
2
EQUIVALENCE RELATIONS VERSUS UNARY OPERATIONS.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 11, p. 569, doi. 10.1002/malq.19830291104
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 11, p. fmi, doi. 10.1002/malq.19830291101
- Publication type:
- Article
4
EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL.
- Published in:
- Mathematical Logic Quarterly, 1983, v. 29, n. 11, p. 565, doi. 10.1002/malq.19830291103
- By:
- Publication type:
- Article