Found: 6
Select item for more details and to access through your institution.
A VERSION OF KRIPKE-PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 3, doi. 10.1002/malq.19840300102
- By:
- Publication type:
- Article
ON THE EXPRESSIVE POWER OF THE LOGICS L(Q<sub>α</sub><sup> n1</sup>,...,<sup> n</sup><sub> m</sub>).
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 11, doi. 10.1002/malq.19840300103
- By:
- Publication type:
- Article
FILTERKONVERGENZ IN DER NICHTSTANDARD-ANALYSIS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 21, doi. 10.1002/malq.19840300104
- By:
- Publication type:
- Article
THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 45, doi. 10.1002/malq.19840300105
- By:
- Publication type:
- Article
AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n-VALUED LUKASIEWICZ LOGICS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 87, doi. 10.1002/malq.19840300106
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. fmi, doi. 10.1002/malq.19840300101
- Publication type:
- Article