13 found
Order:
  1.  20
    Weyl Hermann. Über die neue Grundlagenkrise der Mathematik. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart 1956, pp. 211–247.Weyl Hermann. Nachtrag Juni 1955. A reprint of 1924. Selecta Hermann Weyl, Birkhäuser Verlag, Basel and Stuttgart 1956, pp. 247–248. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (1):81-82.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  18
    Some Forms of Completeness.P. C. Gilmore - 1962 - Journal of Symbolic Logic 27 (3):344-352.
  3.  11
    Van Dantzig D.. Comments on Brouwer's Theorem on Essentially-Negative Predicates. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences, Vol. 52 , Pp. 949–957; Also Indagationes Mathematicae Vol. 11 , Pp. 347–355. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
  4.  11
    Valpola Veli. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, vol. 3 , pp. 107–114. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (4):380-380.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  9
    Meeting of the Association for Symbolic Logic, New York, 1974.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  6.  17
    Meeting of the Association for Symbolic Logic.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  7.  7
    Dequoy N.. Axiomatique Intuitionniste Sans Négation de la Géométrie Projective. Collection de Logique Mathématique, Série A. Offset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, 108 Pp. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  9
    Review: D. van Dantzig, Mathematique Stable et Mathematique Affirmative. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
  9.  5
    Review: D. Van Dantzig, Comments on Brouwer's Theorem on Essentially-Negative Predicates. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (2):195-195.
  10.  4
    van Dantzig D.. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 123–135. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  4
    Valpola Veli. Ein System der negationslosen Logik mit ausschliesslich realisierbaren Prädikaten. Acta philosophica Fennica, no. 9. Helsinki 1955, 247 pp. [REVIEW]P. C. Gilmore - 1957 - Journal of Symbolic Logic 22 (4):355-356.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  1
    Review: N. Dequoy, Axiomatique Intuitionniste Sans Negation de la Geometrie Projective. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
  13. REVIEWS-Logicism Renewed: Logical Foundations for Mathematics and Computer Science.P. C. Gilmore & James H. Andrews - 2007 - Bulletin of Symbolic Logic 13 (1):104-105.