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
Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1302-1304
-
- Article
- Export citation
- Cited by 1
Claude E. Shannon. A universal Turing machine with two internal states. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 157–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 532
-
- Article
- Export citation
- Cited by 1
Arnold Schmidt. Über deduktive Theorien mit mehreren Sorten von Grunddingen. Mathematische Annalen, vol. 115 no. 4 (1938), pp. 485–506.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
- Cited by 1
J. Kotas. Axioms for Birkhoff—υ. Neumann quantum logic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 629–632.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 463-464
-
- Article
- Export citation
- Cited by 1
Partially ordered sets and the independence property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-401
-
- Article
- Export citation
- Cited by 1
Paulette Destouches-Février. Sur les rapports entre la Logique et la Physigue théorique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 219 (for 1944, pub. 1945), pp. 481–483. - Paulette Destouches-Février. Logique adaptée aux théories quantiques.Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 221 (1945), pp. 287–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
- Cited by 1
operators and alternating sentences in arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-154
-
- Article
- Export citation
- Cited by 1
Analytic inductive definitions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-312
-
- Article
- Export citation
- Cited by 1
C. G. McKay. A note on the Jaśkowski sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 95–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
-
- Article
- Export citation
- Cited by 1
A. I. Mal′cév. O malyh modélah (On small models). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 258–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-514
-
- Article
- Export citation
- Cited by 1
Syntactical truth predicates for second order arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-256
-
- Article
- Export citation
- Cited by 1
Complexity of κ-ultrafilters and inner models with measurable cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 833-841
-
- Article
- Export citation
- Cited by 1
L. Chwistek and W. Hetper. New foundation of formal metamathematics. The journal of symbolic logic, vol. 3 (1938), pp. 1–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-121
-
- Article
- Export citation
- Cited by 1
Yoshindo Suzuki. Enumeration of recursive sets. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), p. 311.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
- Cited by 1
Wilhelm Ackerman. Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, Bd. 114 (1937), S. 305–315.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
-
- Article
- Export citation
- Cited by 1
Reviews - Günther Patzig. Vorwort. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 3–15; also second, revised, edition, ibid. 1966, pp. 3–15. - Günther Patzig. Vorwort zur 2. Auflage. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, p. 16. - Gottlob Frege. Funktion und Begriff. A reprint of 497. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 16–37; reprinted ibid. 1966, pp. 17–39, with minor corrections and with Frege's Vorwort included. - Gottlob Frege. Über Sinn und Bedeutung. A reprint of 497. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 38–63; reprinted with minor corrections ibid. 1966, pp. 40–65. - Gottlob Frege. Über Begriff und Gegenstand. A reprint of 499. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 64–78; also ibid. 1966, pp. 66–80. - Gottlob Frege. Was ist eine Funktion? A reprint of 4917. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 79–88; also ibid. 1966, pp. 81–90. - Gottlob Frege. Über die wissenschaftliche Berechtigung einer Begriffsschrift. A reprint of 494. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 89–95; also ibid. 1966, pp. 91–97. - Günther Patzig. Freges Schriften. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 96–97; also ibid. 1966, pp. 98–99. - Günther Patzig. Literatur zu Frege.Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 98–101; reprinted with minor revisions ibid. 1966, pp. 100–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
- Cited by 1
Additive structure in uncountable models for a fixed completion of P
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-628
-
- Article
- Export citation
- Cited by 1
Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 356
-
- Article
- Export citation
- Cited by 1
Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 (1970), pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-634
-
- Article
- Export citation
- Cited by 1
Jean Cavaillès. Méthode axiomatique et formalisme. I. Le problème du fondement des mathématiques. II. Axiomatique et système formel. III. La non-contradiction de l'arithmétique. Actualités scientifiques et industrielles 608-610. Hermann & Cie, Paris1938.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 32-33
-
- Article
- Export citation