Models of Propositional Calculi in Recursive Arithmetic.
R.L. Goodstein (1958)
Mathematica Scandinavica
Similarity:
R.L. Goodstein (1958)
Mathematica Scandinavica
Similarity:
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
H.E. Rose (1962)
Mathematica Scandinavica
Similarity:
R.L. GOODSTEIN (1953)
Mathematica Scandinavica
Similarity:
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
J. Barrack (1964)
Mathematica Scandinavica
Similarity:
Vladeta Vuckovic (1959)
Mathematica Scandinavica
Similarity:
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
Th. Skolem (1960)
Mathematica Scandinavica
Similarity:
M.R. Krom (1967)
Mathematica Scandinavica
Similarity:
J. Moldestad, V. Stoltenberg-Hansen (1980)
Mathematica Scandinavica
Similarity: