Partially Ordered Recursive Arithmetics.
Vladeta Vuckovic (1959)
Mathematica Scandinavica
Similarity:
Vladeta Vuckovic (1959)
Mathematica Scandinavica
Similarity:
Jochem Zowe (1972)
Mathematica Scandinavica
Similarity:
J. Barrack (1964)
Mathematica Scandinavica
Similarity:
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
Jochem Zowe (1974)
Mathematica Scandinavica
Similarity:
J. Moldestad, V. Stoltenberg-Hansen (1980)
Mathematica Scandinavica
Similarity:
Ralph McKenzie, Bjarni Jónsson (1982)
Mathematica Scandinavica
Similarity:
Jöran Friberg (1961)
Mathematica Scandinavica
Similarity:
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
Erik Ellentuck (1973)
Compositio Mathematica
Similarity:
W.W. Boone, H., Jr. Rogers (1966)
Mathematica Scandinavica
Similarity: