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
M. I. Kargapolov. Ob eléméntarnoj téorii abélévyh grupp (On the elementary theory of Abelian groups). Algébra i logika, Séminar, vol. 1 no. 6 (1963), pp. 26–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-536
-
- Article
- Export citation
- Cited by 1
Splitting stationary sets in
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-62
-
- Article
- Export citation
- Cited by 1
Rudolf Carnap. On the use of Hilbert's ε-operator in scientific theories. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 156–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
-
- Article
- Export citation
- Cited by 1
An extended procedure in quantificational logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-104
-
- Article
- Export citation
- Cited by 1
Peter Aczel. Frege structures and the notions of proposition, truth and set. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 31–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-246
-
- Article
- Export citation
- Cited by 1
Stig Kanger. Provability in logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 1. Almqvist and Wiksell, Stockholm1957, 47 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-38
-
- Article
- Export citation
- Cited by 1
J. C. C. McKinsey and Alfred Tarski. Some theorems about the sentential calculi of Lewis and Heyting. The journal of symbolic logic, vol. 13 (1948), pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
- Cited by 1
Note on an idea of Fitch
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
-
- Article
- Export citation
- Cited by 1
W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
- Cited by 1
Y. Bar-Hillel. New light on the liar. Analysis (Oxford), vol. 18 no. 1 (1957), pp. 1–6. - Yehoshua Bar-Hillel. Do natural languages contain paradoxes? Studium generale, vol. 19 (1966), pp. 391–397.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 645
-
- Article
- Export citation
- Cited by 1
Andrzej Grzegorczyk. A philosophically plausible formal interpretation of intuitionistic logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 596–601; also Indagationes matkematicae, vol. 26 (1964), pp. 596–601.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
- Cited by 1
Günter Asser. Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 1 (1955), pp. 3–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
-
- Article
- Export citation
- Cited by 1
Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 137–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 870-874
-
- Article
- Export citation
- Cited by 1
Ian Hacking. Logic of statistical inference. Cambridge University Press, Cambridge1965, ix + 232 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
- Cited by 1
Emil L. Post. Formal reductions of the general combinatorial decision problem. American journal of mathematics, vol. 65 (1943), pp. 197–215.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-52
-
- Article
- Export citation
- Cited by 1
Ladislav Rieger. 0 sčétnyh obobščénnyh σ-algébrah i novom dokazatélstvé téorémy Gédéla o polnoté. Časopis pro pěstováni matematiky a fysiky (Čéhoslovackij matématičéskij žurnal), vol. 1 (76) no. 1 (1951), pp. 33–49. - Ladislav Rieger. On countable generalised σ-algebras, with a new proof of Gödel's completeness theorem. English translation of the preceding. Czechoslovak mathematical journal, vol. 1 (76) no. 1 (1951), pp. 29–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
- Cited by 1
E. W. Beth. La crise de la raison et la logique. Conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgo-néerlandais au mois de Mai 1956. Collection de logique mathématique, ser. A no. 12. Photooffset from typewritten manuscript. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, title pages + 50 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-37
-
- Article
- Export citation
- Cited by 1
A high strongly noncappable degree
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-187
-
- Article
- Export citation
- Cited by 1
L. Jonathan Cohen. Can the logic of indirect discourse be formalised?The journal of symbolic logic, vol. 22 (1957), pp. 225–232. - A. N. Prior. Epimenides the Cretan. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 261–266. - R. L. Goodstein. On the formalisation of indirect discourse. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 417–419. - L. Jonathan Cohen. Professor Goodstein's formalisation of the policeman. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), p. 420.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-550
-
- Article
- Export citation
- Cited by 1
N. Bourbaki. Foundations of mathematics for the working mathematician. The journal of symbolic logic, Bd. 14 (1949), S. pp. 1–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
-
- Article
- Export citation