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 2
Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem-proving. Communications of the ACM, vol. 5 (1962), pp. 394–397.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
- Cited by 2
Fifth Southeastern Logic Symposium, Charlotte, North Carolina, 1989
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1498
-
- Article
- Export citation
- Cited by 2
W. H. Burkhart. Theorem minimization. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 259–263.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
-
- Article
- Export citation
- Cited by 2
First order quantifiers in monadic second order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-136
-
- Article
- Export citation
- Cited by 2
Kenneth Kunen. Set theory. An introduction to independence proofs. Studies in logic and the foundations of mathematics, vol. 102. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xvi + 313 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-464
-
- Article
- Export citation
- Cited by 2
THE VARIETY OF COSET RELATION ALGEBRAS
-
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1595-1609
-
- Article
- Export citation
- Cited by 2
The Church-Rosser property in symmetric combinatory logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-556
-
- Article
- Export citation
- Cited by 2
Ruth C. Barcan. The identity of individuals in a strict functional calculus of second order. The journal of symbolic logic, vol. 12 (1947), pp. 12–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
- Cited by 2
William J. Rapaport, Logical foundations for belief representation, Cognitive science, vol. 10 (1986), pp. 371–422.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-618
-
- Article
- Export citation
- Cited by 2
ω 1-like recursively saturated models of Presburger's arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-429
-
- Article
- Export citation
- Cited by 2
Indiscernible sequences in a model which fails to have the order property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-123
-
- Article
- Export citation
- Cited by 2
Reviews - Robert B. Lees. The grammar of English nominalizations. Publication twelve of the Indiana University Research Center in Anthropology, Folklore, and Linguistics; also Part II of the International journal of American linguistics, vol. 26 no. 3 (1960), xxvi + 205 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
-
- Article
- Export citation
- Cited by 2
Polynomial rings and weak second-order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 953-972
-
- Article
- Export citation
- Cited by 2
A model theoretic characterization of effective operations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-222
-
- Article
- Export citation
- Cited by 2
On generalized quantifiers in arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-190
-
- Article
- Export citation
- Cited by 2
Karl Schröter. Axiomatisierung der Fregeschen Aussagenkalküle. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 8. Leipzig1943, 26 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
- Cited by 2
THE ZIEGLER SPECTRUM OF THE RING OF ENTIRE COMPLEX VALUED FUNCTIONS
-
- Published online by Cambridge University Press:
- 14 March 2019, pp. 160-177
-
- Article
- Export citation
- Cited by 2
NORMAL MEASURES ON A TALL CARDINAL
-
- Published online by Cambridge University Press:
- 13 February 2019, pp. 178-204
-
- Article
- Export citation
- Cited by 2
Alfred Tarski's work on general metamathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-50
-
- Article
- Export citation
- Cited by 2
On reduction properties
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 900-911
-
- Article
- Export citation