14 found
Order:
  1.  5
    An examination of the geometry theorem machine.P. C. Gilmore - 1970 - Artificial Intelligence 1 (3-4):171-187.
  2.  26
    Meeting of the association for symbolic logic.P. C. Gilmore, Donald Martin & Elliott Mendelson - 1975 - Journal of Symbolic Logic 40 (2):299-304.
  3.  16
    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.
  4.  9
    Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.P. C. Gilmore & James H. Andrews - 2007 - Bulletin of Symbolic Logic 13 (1):104-105.
  5.  21
    Some forms of completeness.P. C. Gilmore - 1962 - Journal of Symbolic Logic 27 (3):344-352.
  6.  12
    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  
     
    Export citation  
     
    Bookmark  
  7.  12
    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.
  8.  21
    Review: D. van Dantzig, Mathematique Stable et Mathematique Affirmative. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
  9.  6
    Review: N. Dequoy, Axiomatique Intuitionniste sans Negation de la Geometrie Projective. [REVIEW]P. C. Gilmore - 1955 - Journal of Symbolic Logic 20 (2):174-175.
  10.  15
    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.
  11.  7
    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)  
     
    Export citation  
     
    Bookmark  
  12.  18
    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)  
     
    Export citation  
     
    Bookmark  
  13.  11
    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)  
     
    Export citation  
     
    Bookmark  
  14.  33
    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)  
     
    Export citation  
     
    Bookmark