Works matching IS 09425616 AND DT 1985 AND VI 31 AND IP 1-6
Results: 10
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 3, doi. 10.1002/malq.19850310102
- By:
- Publication type:
- Article
Zum Aufbau Einer Mehrsortigen Elementaren Logik.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 39, doi. 10.1002/malq.19850310105
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. fmi, doi. 10.1002/malq.19850310101
- Publication type:
- Article
Eastern Model-Theory for Boolean-Valued Theories.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 79, doi. 10.1002/malq.19850310109
- By:
- Publication type:
- Article
Strong Completeness of a Pure Free Logic.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 35, doi. 10.1002/malq.19850310104
- By:
- Publication type:
- Article
Almost Disjoint Families of Representing Sets.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 71, doi. 10.1002/malq.19850310108
- By:
- Publication type:
- Article
The Elementary Theory of Interval Real Numbers.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 89, doi. 10.1002/malq.19850310110
- By:
- Publication type:
- Article
Concerning the Axioms of Ackermann's Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 63, doi. 10.1002/malq.19850310107
- By:
- Publication type:
- Article
Simplified Axiom Schemes for Implication and Iterated Implication.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 31, doi. 10.1002/malq.19850310103
- By:
- Publication type:
- Article
A Test to Determine Distinct Modalities in the Extensions of S4.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 1-6, p. 57, doi. 10.1002/malq.19850310106
- By:
- Publication type:
- Article