External Links

    Journal: Math. Log. Q.

    Volume 24, Issue 25-30

    385 -- 397William S. Hatcher. A Language for Type-Free Algebra
    399 -- 404Nadejda Georgieva. An Extention of the Decidable Class of Equations Considered by Goodstein and Lee
    405 -- 408Michael Byrd. L-Reduction Axioms to the Brouwer System
    409 -- 418Richard A. Shore. Some More Minimal Pairs of α-Recursively Enumerable Degrees
    419 -- 425Karel Hrbacek. On the Complexity of Analytic Sets
    427 -- 436M. D. Krol. A Topological Model for Intuitionistic Analysis with Kripke's Scheme
    437 -- 440Alan Rose. A Three-Valued Model for Set Theory
    441 -- 442J. L. Hickman. 0"
    443 -- 444Atwell R. Turquette. Alternative Axioms for Peirce's Triadic Logic
    445 -- 452Bruce M. Horowitz. Sets Completely Creative Via Recursive Permutations
    453 -- 456Paul D. Humke. A Note on Connected Coverings of the Plane
    457 -- 459William Ryan. Gödel's Second Incompleteness Theorem for General Recursive Arithmetic
    461 -- 0N. Goodman, J. Myhill. Choice Implies Excluded Middle
    463 -- 466David W. H. Gillam. A Concrete Representation Theorem for Intervals of Multirelations
    467 -- 479W. Richard Stark. 1
    runs on