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
An extended procedure in quantificational logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-104
-
- Article
- Export citation
- Cited by 1
The uniqueness of envelopes in ℵ0-categorical, ℵ0-stable structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1184
-
- Article
- Export citation
- Cited by 1
Crispin Wright. Wittgenstein on the foundations of mathematics. Duckworth, London, and Harvard University Press, Cambridge, Mass., 1980, xix + 481 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1415-1417
-
- Article
- Export citation
- Cited by 1
Boolean algebras and orbits of the lattice of r.e sets modulo the finite sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 744-760
-
- Article
- Export citation
- Cited by 1
Erik Stenius. Das Interpretationsproblem der formalisierten Zahlentheorie und ihre formate Widerspruchsfreiheit. Acta Academiae Aboensis, vol. 18 no. 3. Åbo Akademi, Åbo1952, 102 pp. With separate sheet of Berichtigungen.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
-
- Article
- Export citation
- Cited by 1
Logical truth and logical implication
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 561
-
- Article
- Export citation
- 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
Saul A. Kripke. A completeness theorem in modal logic. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
-
- Article
- Export citation
- Cited by 1
Keith Lehrer and Richard Taylor. Time, truth and modalities. Mind, n.s. vol. 74 (1965), pp. 390–398.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
-
- 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
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
Some properties of epistemic set theory with collection
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 748-754
-
- Article
- Export citation
- Cited by 1
Františék Svoboda. K. postroéniú péréklúčatél'nyh shém opytnym putém (On the construction of switching circuits by the experimental method). Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.s. vol. 2(50) no. 2 (1958), pp. 191–201.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
-
- Article
- Export citation
- Cited by 1
Definability of r. e. sets in a class of recursion theoretic structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-669
-
- Article
- Export citation
- Cited by 1
Elliott Mendelson, Introduction to mathematical logic, Third edition of XXXIV 110 and XLV 631. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, ix + 341 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
-
- Article
- Export citation
- Cited by 1
Rudolf Carnap. Introduction to semantics. Harvard University Press, Cambridge, Mass., 1942, xii + 263 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-37
-
- Article
- Export citation
- Cited by 1
Independent Axioms for Infinite-Valued Logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-221
-
- 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
Note on a recent set of postulates for the calculus of propositions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 10-14
-
- Article
- Export citation
- Cited by 1
K. R. Popper. Are contradictions embracing?Mind, n.s. vol. 52 (1943), pp. 47–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 48-49
-
- Article
- Export citation