163 found
Order:
Disambiguations
Robert Feys [162]Robert M. Feys [1]
  1.  9
    Human Knowledge, Its Scope and Limits.Robert Feys - 1950 - Journal of Symbolic Logic 15 (3):213-215.
    Direct download  
     
    Export citation  
     
    Bookmark   88 citations  
  2. Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.
  3.  88
    Modal logics.Robert Feys - 1965 - Louvain,: E. Nauwelaerts. Edited by Joseph Dopp.
  4.  24
    Les Logiques nouvelles des modalités.Robert Feys - 1937 - Revue Néo-Scolastique de Philosophie 40 (56):517-553.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  5. Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.
  6.  16
    Combinatory Logic Vol. 1.Haskell Brooks Curry & Robert M. Feys - 1958 - Amsterdam, Netherlands: North-Holland Publishing Company.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  9
    Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..
  8.  5
    [Omnibus Review].Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
  9.  16
    Les systèmes formalisés des modalités aristotéliciennes.Robert Feys - 1950 - Revue Philosophique De Louvain 48 (20):478-509.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  18
    Review: I. M. Bochenski, Ancient Formal Logic. [REVIEW]Robert Feys - 1953 - Journal of Symbolic Logic 18 (1):81-82.
  11.  10
    Recherches sur la Déduction Logique.Gerhard Gentzen & Robert Feys - 1957 - Journal of Symbolic Logic 22 (4):350-351.
  12.  13
    Le raisonnement en termes de faits dans la logistique russellienne.Robert Feys - 1927 - Revue Néo-Scolastique de Philosophie 29 (16):393-421.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  12
    Les logiques nouvelles des modalités.Robert Feys - 1938 - Revue Néo-Scolastique de Philosophie 41 (58):217-252.
  14. Modal Logics.Robert Feys & J. Dopp - 1965 - Journal of Symbolic Logic 34 (3):501-502.
  15.  2
    Les Systèmes Formalisés des Modalites Aristotéliciennes.Robert Feys - 1954 - Journal of Symbolic Logic 19 (4):292-293.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  64
    Russell Bertrand. Human knowledge, its scope and limits. George Allen and Unwin, London 1948, 538 pp; Simon and Schuster, New York 1948, xvi + 524 pp. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (3):213-215.
  17. Die Modalität Einfacher Aussageverbindungen.Robert Feys - 1947 - Journal of Symbolic Logic 12 (1):24-25.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Bibliografía de Lógica Matemática correspondiente al período de 1946-1948.Robert Feys & Staff - 1952 - Revista de Filosofía (Madrid) 11 (41):343.
    No categories
     
    Export citation  
     
    Bookmark  
  19. De Ontwikkeling van Het Logisch Denken.Robert Feys & Alfons Borgers - 1949 - Standaard-Boekhandel.
    No categories
     
    Export citation  
     
    Bookmark  
  20. Le Colloque International de Logique.Robert Feys & Colloque International de Logique - 1953
    No categories
     
    Export citation  
     
    Bookmark  
  21. Logique Formalisée Moderne et Philosophie des Sciences.Robert Feys - 1957 - Journal of Symbolic Logic 22 (4):400-401.
  22. Logistiek, geformaliseerde logica.Robert Feys - 1944 - Antwerpen,: Uitgeversmij. Standaard-Boekhandel.
    1. Algemeen overzicht, propositie- en klassenlogica.
     
    Export citation  
     
    Bookmark  
  23. Review: A. Heyting, Les Fondements des Mathematiques. Intuitionnisme. Theorie de la Demonstration. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):33-33.
  24. Review: Louis O. Kattsoff, A Philosophy of Mathematics. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (4):208-212.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. Une Théorie Formalisée Démontrée sans Symboles.Robert Feys - 1958 - Journal of Symbolic Logic 23 (3):344-344.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
     
    Export citation  
     
    Bookmark  
  27. Sobre el Concepto de Existencia en Matemáticas.Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):105-105.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  24
    Quesada Francisco Miró. Esbozo de una teoría generulizada de las propriedades relacionales. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires 1950, pp. 1172–1177. [REVIEW]Robert Feys - 1955 - Journal of Symbolic Logic 20 (2):192.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  36
    Sánchez-Mazas Miguel. Notas preliminares para la fundamentación de una Lógica matemática comprehensiva . Theoria , vol. 1 no. 1 , pp. 25–26. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):105-105.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  30.  54
    Logique formalisee et philosophie.Robert Feys - 1947 - Synthese 6 (7-8):283 - 298.
  31.  27
    Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. 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, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. 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, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
  32.  15
    Francesco Barone. Preludi del positivismo logico. Filosofia vol. 1 , pp. 373–398.Robert Feys - 1955 - Journal of Symbolic Logic 20 (2):192.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  23
    Axiom Schemes for M-Valued Propositional Calculi.Robert Feys, J. B. Rosser & A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  23
    Martínez Gustavo Bueno. Una nueva exposición de la silogística. Revista de filosofia , vol. 10 , pp. 603–640.Robert Feys - 1954 - Journal of Symbolic Logic 19 (4):304-304.
  35.  28
    Adolf Meyer-Abich. Joachim Jungius—ein Philosoph vor Leibniz. Beiträge zur Leibniz-Forschung, Monographien zur philosophischen Forschung herausgegeben von Dr. Georgi Schischkoff vol. 1, Gryphius-Verlag, Reutlingen1947, pp. 138–152. [REVIEW]Robert Feys - 1949 - Journal of Symbolic Logic 14 (3):193-193.
  36.  8
    Note complémentaire sur les méthodes de déduction naturelle.Robert Feys - 1947 - Revue Philosophique De Louvain 45 (5):60-72.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  20
    Moisil GR. C.. Contributions á I'etude des logiques non-chrysippiennes. I. Un nouveau systeme d'axiomes pour les algébres lukasiewicziennes letra-valentes. Compies rendus des séances de l'Académie des Sciences de Roumanie, t. 5 , pp. 289–293. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (3):160-160.
  38.  20
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  20
    Review: Miguel Sanchez-Mazas, Las Recientes Investigaciones de Historia de la Logica Antigua: La Escuela de Lukasiewicz. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):106-106.
  40.  58
    ModèLes à variabLes de différentes sortes pour Les logiques modaLes m" ou S 5.Robert Feys - 1960 - Synthese 12 (2/3):182.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  22
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  18
    Review: Miguel Sanchez-Mazas, Sobre la Esencia de lo Formal. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):105-105.
  43.  16
    Brugger Walter. Die Modalität einfacher Aussageverbindungen. Scholastik, t. 17 , pp. 217–235.Robert Feys - 1947 - Journal of Symbolic Logic 12 (1):24-25.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  16
    Carruccio Ettore. Recenti sviluppi della logica matematica nei riflessi sull'insegnamento. Atti del Convegno di Pisa . Offprint 1949, 22 pp. [REVIEW]Robert Feys - 1951 - Journal of Symbolic Logic 16 (2):139-140.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  16
    Hoenen P.. De structuur van het systeem der klassieke syllogismen. Bijdragen uitgegeven door de philosophische en theologische faculleiten der Noord- en Zuid-Nederlandse Jezuieten, t. 7 , pp. 200–230.Hoenen P.. La structure du systéms des syllogismes classiques. Traduction française du précédent. Gregorianum, t. 28 , pp. 7–54. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (1):56-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  16
    Russi Gonzalo Zubieta. Sobre el cálculo funcional de primer orden. Dissertation. Universidad Nacional Autonoma de México, Faculta d de Ciencias, Mexico 1950, ii + vi + 33 pp. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (3):200-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  16
    Selvaggi Filippo. Dalla filosofia alla tecnica . Università Gregoriana, Rome 1947 xii + 269 pp. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 14 (4):266-266.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  14
    Review: Miguel Sanchez-Mazas, Un Intento de Expresion Matematica de la Logica Modal Clasica: El Grupo de Matrices Modales y el Sistema de Coordenadas Modales. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):106-107.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  17
    Review: Georgi Schischkoff, Die Gegenwartige Logistik und Leibniz. [REVIEW]Robert Feys - 1949 - Journal of Symbolic Logic 14 (3):194-194.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50. Les logiques modales (Thèmes de dicussion).Robert Feys - 1954 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (1-2):163-166.
1 — 50 / 163