Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 1
H. Rasiowa. Algebraic treatment of the functional calculi of Heyting and Lewis. Fundamenta mathematicae, vol. 38 (for 1951, pub. 1952), pp. 99–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
-
- Article
- Export citation
- Cited by 1
Compactly expandable models and stability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-683
-
- Article
- Export citation
- Cited by 1
Domination, forcing, array nonrecursiveness and relative recursive enumerability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-48
-
- Article
- Export citation
- Cited by 1
Compact numeral representation with combinators
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-525
-
- Article
- Export citation
- Cited by 1
D. A. Bochvar. Über einen Aussagenkalkül mit abzählbaren logischen Summen und Produkten. Matématičéskij sbornik (Recueil mathématique), n. s. vol. 7 (1940), pp. 65–100.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 119
-
- Article
- Export citation
- Cited by 1
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-97
-
- Article
- Export citation
- Cited by 1
Jerzy Łoś. The algebraic treatment of the methodology of elementary deductive systems (Algebraizacja metodologii elementarnych systemów dedukcyjnych) (Algébraizaciá métodologii eléméntarnyh déduktivnyh sistém). English, with summaries in Polish and Russian. Studia logica, vol. 2 (1955), pp. 151–212. See Errata, ibid., p. 329.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-194
-
- Article
- Export citation
- Cited by 1
Canonizing relations on nonsmooth sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-112
-
- Article
- Export citation
- Cited by 1
Reviews - Hao Wang. A note on Quine's principles of quantification. The journal of symbolic logic, vol. 12 (1947), pp. 130–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
-
- Article
- Export citation
- Cited by 1
Forcings constructed along morasses
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1097-1125
-
- Article
- Export citation
- Cited by 1
Vicente F. da Silva. Elementos de logica matematica. São Paulo, Brazil, 1940, 116 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
-
- Article
- Export citation
- Cited by 1
Alonzo Church. Introduction to mathematical logic. Volume I. Second printing. Princeton University Press, Princeton1958, x + 378 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
-
- Article
- Export citation
- Cited by 1
The consistency of system Q
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-76
-
- Article
- Export citation
- Cited by 1
Rózsa Péter. Rekursive Funktionen. Second, enlarged edition. Verlag der Ungarischen Akademie der Wissenschaften, Budapest1957, 278 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
-
- Article
- Export citation
- Cited by 1
Willard V. Quine. Whitehead and the rise of modern logic. The philosophy of Alfred North Whitehead, edited by Paul Arthur Schilpp, Northwestern University, Evanston and Chicago1941, pp. 127–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- Article
- Export citation
- Cited by 1
The representations of S5
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-260
-
- Article
- Export citation
- Cited by 1
A. N. Prior. Formal logic. Oxford at the Clarendon Press, London1955, ix + 329 pp. - A. N. Prior. Formal logic. Second edition. Oxford at the Clarendon Press, London1962, xi + 341 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-220
-
- Article
- Export citation
- Cited by 1
Abstracts of papers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-240
-
- Article
- Export citation
- Cited by 1
Missionary mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-145
-
- Article
- Export citation
- Cited by 1
Centralisateurs génériques
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-306
-
- Article
- Export citation