Works matching IS 09425616 AND DT 1978 AND VI 24 AND IP 25-30
Results: 16
An Extention of the Decidable Class of Equations Considered by Goodstein and Lee.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 399, doi. 10.1002/malq.19780242503
- By:
- Publication type:
- Article
A Concrete Representation Theorem for Intervals of Multirelations.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 463, doi. 10.1002/malq.19780242515
- By:
- Publication type:
- Article
A Three-Valued Model for Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 437, doi. 10.1002/malq.19780242508
- By:
- Publication type:
- Article
Alternative Axioms for Peirce's Triadic Logic.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 443, doi. 10.1002/malq.19780242510
- By:
- Publication type:
- Article
On the Complexity of Analytic Sets.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 419, doi. 10.1002/malq.19780242506
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. fmi, doi. 10.1002/malq.19780242501
- Publication type:
- Article
A Note on Connected Coverings of the Plane.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 453, doi. 10.1002/malq.19780242512
- By:
- Publication type:
- Article
Some More Minimal Pairs of α-Recursively Enumerable Degrees.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 409, doi. 10.1002/malq.19780242505
- By:
- Publication type:
- Article
A Forcing Approach to Strict- II<sub>1</sub><sup>1</sup> Reflection and Strict- II<sub>1</sub><sup>1</sup> = ∑<sub>0</sub><sup>1</sup>.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 467, doi. 10.1002/malq.19780242516
- By:
- Publication type:
- Article
On McBeth's Paper, 'Fundamental Sequences for Initial Ordinals Smaller than a Certain θ<sub>0</sub>'︁.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 441, doi. 10.1002/malq.19780242509
- By:
- Publication type:
- Article
On the Addition of Weakened L-Reduction Axioms to the Brouwer System.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 405, doi. 10.1002/malq.19780242504
- By:
- Publication type:
- Article
Sets Completely Creative Via Recursive Permutations.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 445, doi. 10.1002/malq.19780242511
- By:
- Publication type:
- Article
Choice Implies Excluded Middle.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 461, doi. 10.1002/malq.19780242514
- By:
- Publication type:
- Article
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 427, doi. 10.1002/malq.19780242507
- By:
- Publication type:
- Article
A Language for Type-Free Algebra.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 385, doi. 10.1002/malq.19780242502
- By:
- Publication type:
- Article
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1978, v. 24, n. 25-30, p. 457, doi. 10.1002/malq.19780242513
- By:
- Publication type:
- Article