169 found
Order:
  1. Dictionary of Symbols of Mathematical Logic.Robert Feys - 1969 - Amsterdam: North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography   6 citations  
  2.  31
    Modal Logics.Robert Feys - 1965 - Louvain, E. Nauwelaerts.
  3.  7
    Les systèmes formalisés des modalités aristotéliciennes.Robert Feys - 1950 - Revue Philosophique De Louvain 48 (20):478-509.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  4.  13
    Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  1
    Les Logiques Nouvelles des Modalités.Robert Feys - 1937 - Revue Néo-Scolastique de Philosophie 40 (56):517-553.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  6.  6
    Le Raisonnement En Termes de Faits Dans la Logistique Russellienne.Robert Feys - 1927 - Revue Néo-Scolastique de Philosophie 29 (16):393-421.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  7.  29
    ModèLes a variabLes de Differentes Sortes Pour Les Logiques modaLes M″ Ou S.Robert Feys - 1960 - Synthese 12 (2-3):182 - 196.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8.  8
    Logique formalisée et philosophie.Robert Feys - 1947 - Synthese 6 (7/8):283.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  6
    Logique formalisee et philosophie.Robert Feys - 1947 - Synthese 6 (7-8):283-298.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Note complémentaire sur les méthodes de déduction naturelle.Robert Feys - 1947 - Revue Philosophique De Louvain 45 (5):60-72.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  24
    Logique Formalisee Et Philosophie.Robert Feys - 1947 - Synthese 6 (7-8):283 - 298.
  12.  3
    La Technique de la Logique Combinatoire.Robert Feys - 1946 - Revue Philosophique De Louvain 44 (1):74-103.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  3
    Les méthodes récentes de déduction naturelle.Robert Feys - 1946 - Revue Philosophique De Louvain 44 (3):370-400.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  3
    Robinson Richard. Definition. The Clarendon Press, Oxford 1950, Viii + 207 Pp. [REVIEW]Robert Feys - 1952 - Journal of Symbolic Logic 17 (1):61-62.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  3
    A Note on the Logic of Obligation.A. N. Prior & Robert Feys - 1956 - Revue Philosophique De Louvain 54 (41):86-89.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  15
    The Amsterdam Meeting of the Association for Symbolic Logic.E. W. Beth & Robert Feys - 1955 - Journal of Symbolic Logic 20 (1):90-94.
  17. Les Logiques Modales (Thèmes de Dicussion).Robert Feys - 1954 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (7):163-166.
  18. Nature et possibilités de la logique formalisée.Robert Feys - 1953 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (3):133-136.
    Translate
     
     
    Export citation  
     
    My bibliography  
  19.  2
    La Transcription Logistique du Raisonnement.Robert Feys - 1925 - Revue Néo-Scolastique de Philosophie 27 (5):61-86.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  1
    L’Abstraction en Logique Formalisee.Robert Feys - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:731-734.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  21.  5
    Review: Jean de la Harpe, La Logique de L'Assertion Pure. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (4):442-443.
  22.  3
    A Simplified Proof of the Reduction of All Modalities to 42 in S3.Robert Feys - 1955 - Journal of Symbolic Logic 20 (1):66-66.
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  3
    Guillaume d'Ockham, Théoricien de la Connaissance.Robert Feys - 1948 - Revue Philosophique De Louvain 46 (10):188-201.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  3
    Les traités récents de logique formalisée.Robert Feys - 1955 - Revue Philosophique De Louvain 53 (39):383-401.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  3
    Un exposé de la philosophie de Gabriel Marcel.Robert Feys - 1955 - Revue Philosophique De Louvain 53 (37):73-85.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  3
    Directions nouvelles de la logistique aux États-Unis.Robert Feys - 1937 - Revue Néo-Scolastique de Philosophie 40 (55):398-411.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. Review: D. P. Henry, Expressions Trivially Decidable. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):63-64.
  28.  4
    Review: Guido Calogero, Lezioni di Filosofia. Volume Primo. Logica, Gnoseologia, Ontologia; Guido Calogero, Lezioni di Filosofia. Volume Terzo. Estetica, Semantica, Istorica. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (1):73-73.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  4
    Review: I. M. Bochenski, On Analogy. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 14 (4):265-266.
  30.  2
    Review: Bertrand Russell, Human Knowledge, Its Scope and Limits. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (3):213-215.
  31.  2
    Une Théorie Formalisée Démontrée Sans Symboles.Robert Feys - 1956 - Les Etudes Philosophiques 11 (1):3 - 14.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  2
    Recherches Sur la Déduction Logique.Gerhard Gentzen & Robert Feys - 1957 - Journal of Symbolic Logic 22 (4):350-351.
  33.  3
    Review: Gonzalo Zubieta Russi, Sobre el Calculo Funcional de Primer Orden. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (3):200-200.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  34.  3
    Review: Kurt Huber, Leibniz Und Wir. [REVIEW]Robert Feys - 1949 - Journal of Symbolic Logic 14 (3):194-194.
  35.  1
    Curry Haskell B.. Philosophische Bemerkungen Zu Einigen Problemen der Mathematischen Logik. Archiv Für Philosophie, Vol. 4 No. 2 , Pp. 147–156.Curry Haskell B.. L-Semantics as a Formal System. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités Scientifiques Et Industrielles 1134, Hermann & Cie, Paris 1951, Pp. 19–29.Curry Haskell B.. On the Definition of Substitution, Replacement and Allied Notions in an Abstract Formal System. Revue Philosophique de Louvain, Vol. 50 , Pp. 251–269.Curry Haskell B.. Mathematics, Syntactics and Logic. Mind, N. S. Vol. 62 , Pp. 172–183.Curry Haskell B.. Les Systèmes Formels Et les Langues. Les Méthodes Formelles En Axiomatique. Paris Décembre 1950, Colloques Internationaux du Centre National de la Recherche Scientifique No. 36, Paris 1953, Pp. 1–9.Bernays Paul, Brouwer L. E. J., Curry Haskell B., Heyting A., Robinson Abraham. Discussion. Les Méthodes Formelles En Axiomatique. Paris Décembre 1950, Colloques Internationaux. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
  36.  1
    De la Harpe Jean. La Logique de l'Assertion Pure. Nouvelle Encyclopédie Philosophique 48. Presses Universitaires de France, Paris 1950, Xii + 77 Pp. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (4):442-443.
  37.  1
    Lloyd A. C.. The Logical Form of Law Statements. Mind, N.S. Vol. 64 , Pp 312–318.Robert Feys - 1957 - Journal of Symbolic Logic 22 (1):92.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  1
    Sánchez-Mazas Miguel. Un intento de expresión matemática de la lógica modal clasica: El grupo de matrices modales y el sistema de coordenadas modales. Theoria , vol. 2 no. 7–8 , pp. 188–192. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):106-107.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  1
    Terracini Alessandro. Prefazione. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo 1955, pp. 5–7.Levi Beppo. L'opera matematica di Giuseppe Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo 1955, pp. 9–21.Ascoli Guido. I motivi fondamentali dell'opera di Giuseppe Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo 1955, pp. 23–30.Segre Beniamino. Peano ed il Bourbakismo. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo 1955, pp. 31–39.Barone Francesco. Un'apertura filosofica della logica simbolica peaniana. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo 1955, pp. 41–50.Geymonat Ludovico. I fondamenti dell'aritmetica secondo Peano e le obiezioni “filosofiche” di B. Russell. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo 1955, pp. 51–63.Boggio Tommaso. Il calcolo geometrico di Peano. In memoria di Giuseppe Peano, Presso il Liceo Sci. [REVIEW]Robert Feys - 1957 - Journal of Symbolic Logic 22 (3):306-307.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  1
    Whitehead A. N.. Indication, Classes, Numbers, Validation. Essays in Science and Philosophy, by Whitehead A. N., Rider and Company, London 1948, Pp. 227–240. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (2):157.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41.  2
    Review: Jean Piaget, Classes, Relations et Nombres. Essai sur les Groupements de la Logistique et sur la Reversibilite de la Pensee. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (1):56-56.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Review: Josef De Vries, Urteilsanalyse und Seinserkenntnis; Alfons Winkelmann, Die Stellung der Formalen Logik im Sovjetssystem. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):88-88.
    Translate
     
     
    Export citation  
     
    My bibliography  
  43.  2
    Les Logiques Nouvelles des Modalités.Robert Feys - 1938 - Revue Néo-Scolastique de Philosophie 41 (58):217-252.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44. Review: Alessandro Terracini, In Memoria di Giuseppe Peano. [REVIEW]Robert Feys - 1957 - Journal of Symbolic Logic 22 (3):306-307.
  45.  1
    Le Raisonnement En Termes de Faits Dans la Logistique Russellienne.Robert Feys - 1928 - Revue Néo-Scolastique de Philosophie 30 (18):154-192.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46.  1
    La Transcription Logistique du Raisonnement.Robert Feys - 1924 - Revue Néo-Scolastique de Philosophie 26 (4):417-451.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  2
    Review: Adolf Meyer-Abich, Joachim Jungius--ein Philosoph vor Leibniz. [REVIEW]Robert Feys - 1949 - Journal of Symbolic Logic 14 (3):193-193.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    Review: H. A. Weersma, Objections Against H. Scholz's Metaphysik Als Strenge Wissenschaft. [REVIEW]Robert Feys - 1949 - Journal of Symbolic Logic 14 (1):62-62.
  49.  2
    Review: Miguel Sanchez-Mazas, Notas Preliminares Para la Fundamentacion de Una Logica Matematica Comprehensiva (I). [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):105-105.
  50.  2
    Review: Philotheus Boehner, The Tractatus de Praedestinatione Et de Praescientia Dei Et de Futuris Contingentibus of William Ockham, Edited with a Study on the Mediaeval Problem of a Three-Valued Logic. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):90-91.
1 — 50 / 169