12 found
Order:
Disambiguations
Saunders Mac Lane [12]Saunders Lane [1]
  1. Mathematics: Form and Function.Saunders Mac Lane - 1990 - Studia Logica 49 (3):424-426.
     
    Export citation  
     
    Bookmark   28 citations  
  2. Structure in mathematics.Saunders Lane - 1996 - Philosophia Mathematica 4 (2):174-183.
    The article considers structuralism as a philosophy of mathematics, as based on the commonly accepted explicit mathematical concept of a structure. Such a structure consists of a set with specified functions and relations satisfying specified axioms, which describe the type of the structure. Examples of such structures such as groups and spaces, are described. The viewpoint is now dominant in organizing much of mathematics, but does not cover all mathematics, in particular most applications. It does not explain why certain structures (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  44
    A logical analysis of mathematical structure.Saunders Mac Lane - 1935 - The Monist 45 (1):118 - 130.
  4. Despite pyhsicists, proof is essential in mathematics.Saunders Mac Lane - 1997 - Synthese 111 (2):147-154.
  5.  18
    (1 other version)Cooley John C.. Outline of symbolic logic. Harvard Cooperative Society, Cambridge, Mass., 1938.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):126-126.
  6.  20
    Symbolic Logic.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):125-126.
  7.  30
    Tarski Alfred. Der Aussagenkalkül und die Topolagie. Fundamenta mathematicae, vol. 31 , pp. 103–134.Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):26-27.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  37
    Bornstein Benedykt. Geometrical logic. The structures of thought and space. Bibliotheca Universitatis Liberae Polonae, ser. B, no. 8 . Wolna Wszechnica Polska, Warsaw 1939, 114 pp. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):133-134.
  9.  57
    Birkhoff Garrett. Lattices and their applications. Bulletin of the American Mathematical Society, vol. 44 , pp. 793–800. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):34-35.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  10.  46
    MacNeille H. M.. Extension of a distributive lattice to a Boolean ring. Bulletin of the American Mathematical Society, vol. 45 , pp. 452–455. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):134-134.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  26
    Pankajam S.. On symmetric functions of m symmetric functions in a Boolean algebra. Proceedings of the Indian Academy of Sciences, section A, vol. 9 , pp. 95–102. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):124-124.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Review: M. H. Stone, The Representation of Boolean Algebras. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):35-35.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark