Commutative Partially Ordered Recursive Arithmetics.
M.T. Partis (1963)
Mathematica Scandinavica
Similarity:
The search session has expired. Please query the service again.
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: