A topological interpretation of second-order intuitionistic arithmetic
Joan Rand Moschovakis (1973)
Compositio Mathematica
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.
Joan Rand Moschovakis (1973)
Compositio Mathematica
Similarity:
G. Kreisel, Hao Wang (1958)
Fundamenta Mathematicae
Similarity:
Dana Scott (1968)
Compositio Mathematica
Similarity:
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
E. López-Escobar (1981)
Fundamenta Mathematicae
Similarity:
H. Rasiowa (1955)
Fundamenta Mathematicae
Similarity:
Andrzej Mostowski (1952)
Fundamenta Mathematicae
Similarity:
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity: