Constructing Kripke models of certain fragments of Heyting's arithmetic.
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Wehmeier, Kai F. (1998)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
G. Kreisel, Hao Wang (1958)
Fundamenta Mathematicae
Similarity:
G. Kreisel, Hao Wang (1955)
Fundamenta Mathematicae
Similarity:
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity:
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
E. López-Escobar (1981)
Fundamenta Mathematicae
Similarity:
G. Kreisel (1950)
Fundamenta Mathematicae
Similarity:
Kaye, Richard (1996)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Similarity: