92 results
On platonism in mathematics
-
-
- Book:
- Philosophy of Mathematics
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1984, pp 258-271
-
- Chapter
- Export citation
Ernst Schröder. Vorlesungen über die Algebra der Logik (exacte Logik). Second edition, Volume I. A reprint of 427 with Schroder's corrections. Chelsea Publishing Company, Bronx 1966, IX + 721 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-614
- Print publication:
- December 1975
-
- Article
- Export citation
Ernst-Jochen Thiele. Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 173–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-768
- Print publication:
- December 1972
-
- Article
- Export citation
Jean van Heijenoort. Preface. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 1–12. - Claude Chevalley and Albert Lautman. Notice biographique sur Jacques Herbrand. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 13–15. (Reprinted from Annuaire de l'Association Amicale de Secours des Anciens Élèves de l'École Normale Supérieure (1931), pp. 66–68.) - Claude Chevalley. Sur la pensée de Jacques Herbrand. A reprint of 5431 with omissions. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 17–20. - Jacques Herbrand. Sur la théorie de la démonstration. A reprint of 3821. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 21–23. - Jacques Herbrand. Non-contradiction des axiomes arithmétiques. A reprint of 3822. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 25–26. - Jacques Herbrand. Sur quelques propriétés des propositions vraies et leurs applications. A reprint of 3823. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 27–29. - Jacques Herbrand. Sur le problème fondamental des mathématiques. A reprint of 3824. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 31–33. - Jacques Herbrand. Recherches sur la théorie de la démonstration. A reprint of 3825. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 35–153. - Jacques Herbrand. Les bases de la logique hilbertienne. A reprint of 3826. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 155–166. - Jacques Herbrand. Sur le problème fondamental de la logique mathématique. A reprint of 3827. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 167–207. - Jacques Herbrand. Note non signée sur la thèse de Herbrand, écrite par Herbrand lui-même. A reprint, with new title, of 3827.1. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 209–214. - Jacques Herbrand. Notice pour Jacques Hadamard. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 215–219. - Jacques Herbrand. Sur la non-contradiction de l'arithmétique. A reprint of 3828. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 221–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
- Print publication:
- September 1971
-
- Article
- Export citation
Peter Nidditch. A note on the redundant axiom of Principia mathematica. Mind, n.s. vol. 69 (1960), pp. 251–252.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- June 1971
-
- Article
- Export citation
John Myhill. Variations on a theme of Bernays. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 274–282.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
- Print publication:
- June 1970
-
- Article
- Export citation
Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 (1965), pp. 562–567.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
- Print publication:
- January 1969
-
- Article
- Export citation
Composing for BB: Some Comments
-
- Journal:
- TDR (1967) / Volume 12 / Issue 2 / Winter 1968
- Published online by Cambridge University Press:
- 09 September 2022, pp. 152-155
- Print publication:
- Winter 1968
-
- Article
- Export citation
Hugues Leblanc. Études sur les règles d'inférence dites règles de Gentzen. Deuxième partie. Dialogue, vol. 1 no. 4 (1963), pp. 355–367.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-258
- Print publication:
- August 1967
-
- Article
- Export citation
Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 699–706.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-659
- Print publication:
- December 1966
-
- Article
- Export citation
Jean Ladrière. Expression de la récursion primitive dans le calcul-λ-K. Logique et analyse, n.s. vol. 4 (1961), pp. 23–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-94
- Print publication:
- March 1965
-
- Article
- Export citation
Hugues Leblanc. Études sur les règles d'inférence dites “règles de Gentzen.”Dialogue, vol. 1 no. 1 (1962), pp. 56–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
- Print publication:
- June 1962
-
- Article
- Export citation
W. V. Quine. Interpretations of sets of conditions. The journal of symbolic logic, vol. 19 (1954), pp. 97–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
- Print publication:
- September 1959
-
- Article
- Export citation
Kurt Bing. On the axioms of order and succession. The journal of symbolic logic, vol. 22 (1957), pp. 141–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
- Print publication:
- September 1958
-
- Article
- Export citation
A. Heyting. L'axiomatique intuitionniste. Congrès International de Philosophic des Sciences, Paris 1949, II Logique, Actuality scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 81–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
- Print publication:
- September 1958
-
- Article
- Export citation
Irving M. Copi. Another variant of natural deduction. The journal of symbolic logic, vol. 21 (1956), pp. 52–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
- Print publication:
- September 1957
-
- Article
- Export citation
W. Ackermann. Solvable cases of the decision problem. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1954, VIII + 114 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-72
- Print publication:
- March 1957
-
- Article
- Export citation
John Myhill. Creative sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 97–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-76
- Print publication:
- March 1957
-
- Article
- Export citation
John Myhill. On the interpretation of the sign ‘⊃’. The journal of symbolic logic, vol. 18 (1953), pp. 60–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
- Print publication:
- June 1955
-
- Article
- Export citation
Karl Egil Aubert. Relations généralisées et indépendance logique des notions de réflexivité, symétrie et transitivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 229 (1949), pp. 538–540. - J. Richard Büchi. Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types. The journal of symbolic logic, vol. 18 (1953), pp. 125–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
- Print publication:
- December 1954
-
- Article
- Export citation