Results for 'MacLane, S.'

982 found
Order:
  1.  13
    Itô Makoto. Kakuritu-ron no kôri-taikei ni tuite . Journal of the Mathematical Association of Japan for Secondary Education, vol. 20 , pp. 1–9. [REVIEW]S. Tsuru & S. MacLane - 1940 - Journal of Symbolic Logic 5 (1):30-31.
  2.  22
    Review: Makoto Ito, An Axiom System for Probability Theory. [REVIEW]S. Tsuru & S. MacLane - 1940 - Journal of Symbolic Logic 5 (1):30-31.
  3.  17
    Categories for the Working Mathematician.Saunders Maclane - 1971 - Springer.
    Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint (...)
    Direct download  
     
    Export citation  
     
    Bookmark   174 citations  
  4.  20
    Les Entretiens de Zurich sur les fondements et la méthode des sciences mathématiques, 6–9 decembre 1938. Exposés et discussions publiés par le Président des débats, Gonseth F., professeur a 1'École Polytechnique Fédérale. S. A. Leemann frères & Cie., Zurich 1941, 209 pp. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (1):35-37.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    E. Livenson. On the realization of Boolean algebras by algebras of sets. Matématičéskij sbornik , n. s. vol. 7 no 2 , pp. 309–312. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (4):155-155.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  16
    Review: F. William Lawvere, S. Eilenberg, D. K. Harrison, S. MacLane, H. Rohrl, The Category of Categories as a Foundation for Mathematics. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):341-341.
  7.  40
    F. William Lawvere. The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla 1965, edited by S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl, Springer-Verlag New York Inc., New York 1966, pp. 1–20. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):341.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  50
    Mathematical logic is neither foundation nor philosophy.Saunders MacLane - 1986 - Philosophia Mathematica (1-2):3-14.
  9.  5
    Philosophie Mathématique.Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):77-78.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  5
    Les Entretiens de Zurich sur les fondements el la méthode des sciences malhématiques, 6-9 décembre 1938.Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (1):35-37.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. General Theory of Natural Equivalences.Saunders MacLane & Samuel Eilenberg - 1945 - Transactions of the American Mathematical Society:231-294.
     
    Export citation  
     
    Bookmark   90 citations  
  12.  38
    Mathematics, Form and Function.Saunders MacLane - 1986 - Journal of Philosophy 84 (1):33-37.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  13.  56
    A Logical Analysis of Mathematical Structure.Saunders MacLane - 1935 - The Monist 45 (1):118-130.
  14.  14
    Hosiasson-Lindenbaum Janina. On confirmation.Saunders MacLane - 1941 - Journal of Symbolic Logic 6 (2):63-63.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  19
    Algebra of Classes.Garrett Birkhoff & Saunders Maclane - 1941 - Journal of Symbolic Logic 6 (4):165-165.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  49
    Leibniz's 'New system' and associated contemporary texts.R. S. Woolhouse & Richard Francks (eds.) - 1997 - New York: Oxford University Press.
    This volume gathers together for the first time are all the key texts in a crucial debate in modern philosophy, centered on Leibniz's famous 1695 essay, the "New System of the Nature of Substances and their Communication," in which he introduced his strikingly original theory of metaphysics. His "system" became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers, most notably the great French philosopher Pierre Bayle. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  29
    F. Bachmann. Aufbau des Zahlensystems. Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, Band I. Algebra und Zahlentheorie, Teil 1., Heft 2., B. G. Teubner, Leipzig1939—article A3, 28 pp. - K. Knopp. Darstellung der reellen Zahlen durch Grenzprozesse. Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, Band I. Algebra und Zahlentheorie, Teil 1., Heft 2., B. G. Teubner, Leipzig1939—article A4, 30 pp. - E. Kamke. Allgemeine Mengenlehre. Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, Band I. Algebra und Zahlentheorie, Teil 1., Heft 2., B. G. Teubner, Leipzig1939—article A5, 56 pp. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (4):154-155.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  16
    Birkhoff Garrett and Ward Morgan. A characterization of Boolean algebras. Annals of mathematics, ser. 2 vol. 40 , pp. 609–610. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (1):36-36.
  19.  12
    Bernays Paul. Bemerkungen zur Grundlagenfrage. Philosophie mathematique, by Gonseth F., Actualités scientifiques et induatrielles 837, Hermann et Cie, Paris 1939, pp. 83–87. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  20.  4
    Church Alonzo. The present situation in the foundation of mathematics. Philosophie mathematique, by Gonseth F., Actualités scientifiques et induatrielles 837, Hermann et Cie, Paris 1939, pp. 67–72. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  21.  19
    Chwistek Leon. Sur les fondements des sciences exactes. Philosophie mathematique, by Gonseth F., Actualités scientifiques et induatrielles 837, Hermann et Cie, Paris 1939, pp. 88–91. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  22.  37
    Heyting Arend. Les fondements des mathématiques du point de vue intuitionniste. Philosophie mathematique, by Gonseth F., Actualités scientifiques et induatrielles 837, Hermann et Cie, Paris 1939, pp. 73–75. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  23.  7
    Huntington Edward V.. Postulates for assertion, conjunction, negation, and equality. Proceedings of the American Academy of Arts and Sciences, vol. 72 no. 1 , pp. 1–44. [REVIEW]Saunders MacLane - 1937 - Journal of Symbolic Logic 2 (2):91-91.
  24.  14
    Review: O. Nikodym, On Boolean Fields of Subspaces in an Arbitrary Hilbert Space. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (1):36-36.
  25.  3
    Review: Paul Bernays, Bemerkungen zur Grundlagenfrage. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  6
    - M. H. A. Newman. Relatively complemented algebras. The journal of the London Mathematical Society, vol. 17 , pp. 34–47. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (3):124-125.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  27.  3
    Review: Paul Dienes, Logic of Algebra. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):100-100.
  28.  4
    Review: Shinziro Mori, Prime Ideals in Boolean Rings. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (1):36-36.
  29.  10
    Review: Wilhelm Ackermann, Bemerkungen zu den Logisch-Mathematischen Grundlagenproblemen. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  35
    Stone M. H.. Topological representations of distributive lattices and Brouwerian logics. Časopis pro pěsiování matematiky a fysiky, vol. 67 , pp. 1–25. [REVIEW]Saunders MacLane - 1938 - Journal of Symbolic Logic 3 (2):90-91.
  31.  33
    Stone M. H.. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society, vol. 41 . pp. 375–481. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):88-89.
  32.  18
    Destouches J.-L.. Essai sur la forme générale des théories physiques. Institutul de Arte Grafice “Ardealul,” Cluj, Roumania, 1938, 131 pp. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (1):23-23.
  33.  11
    Dienes Paul. Logic of algebra. Actualités scientifiques et industrielles 614, Hermann et Cie, Paris 1938, 76 pp. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):100-100.
  34.  17
    Frink Okrin Jr. Representations of Boolean algebras. Bulletin of the American Mathematical Society, vol. 47 , pp. 755–756. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (1):39-39.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  15
    Gonseth F.. Philosophie mathématique. Actualités scientifiques et industrielles 837. Hermann et Cie, Paris 1939, 100 pp. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):77-78.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  36.  26
    - M. H. A. Newman. Relatively complemented algebras. The journal of the London Mathematical Society, vol. 17 , pp. 34–47. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (3):124-124.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  37.  10
    Mori Shinziro. Prime ideals in Boolean rings. Journal of science of the Hirotima University, series A, vol. 9 , pp. 67–71. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (1):36-36.
  38.  10
    Nikodym O.. On Boolean fields of subspaces in an arbitrary Hilbert space. I. Annales de la Société Polonaise de Mathématique, vol. 17 no. 2 , pp. 138–165. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (1):36-36.
  39.  14
    Ono Katudi. Logische Untersuchungen über die Grundlagen der Mathematik. Journal of the Faculty of Science, Imperial University of Tokyo, section I, vol. 3 part 7 , pp. 329–389. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):89-90.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    Pastore Annibale. Sullo sviluppo delle operazioni logiche dipendenti solo dal numero degli enti. Atti delta Reale Accademia delle Scienze di Torino, Classe di scienze morali, storiche e filologiche, vol. 75 no. 1 , pp. 3–11. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (4):174-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  14
    Review: Alonzo Church, The Present Situation in the Foundation of Mathematics. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  7
    Review: Arend Heyting, Les Fondements des Mathematiques du Point de vue Intuitionniste. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
  43.  7
    Review: Annibale Pastore, Sullo Swiluppo delle Operazioni Logiche Dipendenti solo dal Numero Degli Enti. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (4):174-174.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  19
    Review: Alfred Tarski, On Mathematical Logic and the Deductive Method. [REVIEW]Saunders MacLane - 1938 - Journal of Symbolic Logic 3 (1):51-52.
  45.  20
    Review: Edward V. Huntington, Postulates for Assertion, Conjunction, Negation, and Equality. [REVIEW]Saunders MacLane - 1937 - Journal of Symbolic Logic 2 (2):91-91.
  46.  21
    Review: F. Bachmann, Aufbau des Zahlensystems; K. Knopp, Darstellung der Reellen Zahlen Durch Grenzprozesse; E. Kamke, Allgemeine Mengenlehre. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (4):154-155.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  13
    Review: F. Gonseth, Philosophie Mathematique. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):77-78.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  48.  7
    Review: H. Hermes, G. Kothe, Die Theorie der Verbande. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (4):155-155.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    Review: J.-L. Destouches, Essai sur la Forme Generale des Theories Physiques. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (1):23-23.
  50.  14
    Review: Janina Hosiasson-Lindenbaum, On Confirmation. [REVIEW]Saunders MacLane - 1941 - Journal of Symbolic Logic 6 (2):63-63.
1 — 50 / 982