Commutative Partially Ordered Recursive Arithmetics.
M.T. Partis (1963)
Mathematica Scandinavica
Similarity:
Displaying similar documents to “Partially Ordered Recursive Arithmetics.”
Commutative Partially Ordered Recursive Arithmetics.
Some considerations concerning recursive functions
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
Recursive Functions and Regressive Isols.
J. Barrack (1964)
Mathematica Scandinavica
Similarity:
Fenchel Type Duality Theorems in Finite Dimensional Ordered Vector Spaces.
Jochem Zowe (1972)
Mathematica Scandinavica
Similarity:
Finite alogorithmic procedures and computation theories.
J. Moldestad, V. Stoltenberg-Hansen (1980)
Mathematica Scandinavica
Similarity:
Recursive Arithmetic of Skolem.
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
Models of Propositional Calculi in Recursive Arithmetic.
R.L. Goodstein (1958)
Mathematica Scandinavica
Similarity:
Ternary Recursive Arithmetic.
H.E. Rose (1962)
Mathematica Scandinavica
Similarity:
Subdifferentiability of Convex Functions with Values in an Ordered Vector Space.
Jochem Zowe (1974)
Mathematica Scandinavica
Similarity:
Logic-free formalisations of recursive arithmetic
R.L. GOODSTEIN (1954)
Mathematica Scandinavica
Similarity:
Powers of partially ordered sets: Cancellation and reffinement properties.
Ralph McKenzie, Bjarni Jónsson (1982)
Mathematica Scandinavica
Similarity:
Permutation in recursive arithmetic
R.L. GOODSTEIN (1953)
Mathematica Scandinavica
Similarity:
Recursive Arithmetic of Skolem II.
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
Partially Hypoelliptic Differential Equations of Finite Type.
Jöran Friberg (1961)
Mathematica Scandinavica
Similarity: