Novak's result by Henkin's method
H. Doest (1969)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
H. Doest (1969)
Fundamenta Mathematicae
Similarity:
Andrzej Grzegorczyk (1971)
Fundamenta Mathematicae
Similarity:
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
Wolfram Schwabhäuser (1979)
Fundamenta Mathematicae
Similarity:
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity:
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
W. Reinhardt (1974)
Fundamenta Mathematicae
Similarity:
I. Novak (1950)
Fundamenta Mathematicae
Similarity:
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity: