Works matching IS 09425616 AND DT 1987 AND VI 33 AND IP 2
Results: 14
A Free-Variable Theory of Primitive Recursive Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 147, doi. 10.1002/malq.19870330210
- By:
- Publication type:
- Article
Relative Consistency of a Set Theory with Hyperclasses.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 101, doi. 10.1002/malq.19870330203
- By:
- Publication type:
- Article
A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 187, doi. 10.1002/malq.19870330214
- By:
- Publication type:
- Article
Construction of Large Sets of Clones.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 127, doi. 10.1002/malq.19870330207
- By:
- Publication type:
- Article
Alternative Characterizations of Precomplete Numerations.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 97, doi. 10.1002/malq.19870330202
- By:
- Publication type:
- Article
Eine Bemerkung Zum Reduktionstyp ∀<sup>3</sup> ∃(0, 1).
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 179, doi. 10.1002/malq.19870330213
- By:
- Publication type:
- Article
Mutual Transformability of the Formulas of the Languages Of Markov L<sub>2ω</sub> AND R<sub>ω</sub>.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 123, doi. 10.1002/malq.19870330206
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. fmi, doi. 10.1002/malq.19870330201
- Publication type:
- Article
The Concept of Multiset.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 171, doi. 10.1002/malq.19870330212
- By:
- Publication type:
- Article
A Note on 'ℰ.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 115, doi. 10.1002/malq.19870330205
- By:
- Publication type:
- Article
∑<sub>1</sub>-Density and Turing Degrees.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 141, doi. 10.1002/malq.19870330209
- By:
- Publication type:
- Article
Degrees of Souslin And Aronszajn Trees.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 159, doi. 10.1002/malq.19870330211
- By:
- Publication type:
- Article
Recursively Enumerable L-Sets.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 107, doi. 10.1002/malq.19870330204
- By:
- Publication type:
- Article
Topologische Maximalprinzipien.
- Published in:
- Mathematical Logic Quarterly, 1987, v. 33, n. 2, p. 135, doi. 10.1002/malq.19870330208
- By:
- Publication type:
- Article