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
On relatively analytic and Borel subsets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-352
-
- Article
- Export citation
- Cited by 1
Forcing with Δ perfect trees and minimal Δ-degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 803-816
-
- Article
- Export citation
- Cited by 1
An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-138
-
- Article
- Export citation
- Cited by 1
William Kneale and Martha Kneale. The development of logic. Oxford University Press, London1962, viii + 761 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-217
-
- Article
- Export citation
- Cited by 1
Ultrafilters on spaces of partitions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-146
-
- Article
- Export citation
- Cited by 1
Hugues Leblanc. Études sur les règles d'inférence dites “règles de Gentzen.”Dialogue, vol. 1 no. 1 (1962), pp. 56–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
-
- Article
- Export citation
- Cited by 1
O. V. Zich. Příspěvek k theorii celých čísel a jednojednoznačného zobrazení (A contribution to the theory of whole numbers and of one-to-one transformations). Rozpravy II, Třídy České Akademie, vol. 58 no. 11 (1948), 12 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
-
- Article
- Export citation
- Cited by 1
Projective well-orderings and bounded forcing axioms
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-572
-
- Article
- Export citation
- Cited by 1
A note on S5
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
-
- Article
- Export citation
- Cited by 1
Emil L. Post. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 (1936), pp. 103–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 43
-
- Article
- Export citation
- Cited by 1
Paul R. Halmos. Algebraic logic, I. Monadic Boolean algebras. Compositio mathematica, vol. 12 (1955), p. 217–249.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-222
-
- Article
- Export citation
- Cited by 1
Remark on a system of bernays
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
-
- Article
- Export citation
- Cited by 1
Completeness of transfinite evaluation in an extension of the lambda calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-275
-
- Article
- Export citation
- Cited by 1
J. L. Austin. Ifs and cans. Proceedings of the British Academy, vol. 42 (for 1956), pp. 109–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
-
- Article
- Export citation
- Cited by 1
Mochinori Goto, Yasuo Komamiya, Ryota Suekane, Masahide Takagi, and Shigeru Kuwabara. Theory and structure of the automatic relay computer E. T. L. Mark II. Researches of the Electrotechnical Laboratory, no. 556. Electrotechnical Laboratory, Agency of Industrial Science and Technology, Tokyo1956, ix + 214 pp. and 37 plates.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
-
- Article
- Export citation
- Cited by 1
Effectively retractable theories and degrees of undecidability1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-604
-
- Article
- Export citation
- Cited by 1
Everett W. Hall. Some dangers in the use of symbolic logic in psychology. Psychological review, vol. 49 (1942), pp. 142–169.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- Article
- Export citation
- Cited by 1
On two hierarchies of dimensions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 959-968
-
- Article
- Export citation
- Cited by 1
A. Mostowski. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 401–404. - A. Mostowski. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
- Cited by 1
Formal Philosophy. Selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason. Yale University Press, New Haven and London1974, 369 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-215
-
- Article
- Export citation