Go to » Web - QA - Dictionary - Encyclopedia - Images
 Web Opens New Window. Results 1 - 10 of about 74,800 for Robert Feys 

Robert Feys - Wikipedia, the free encyclopedia

  
Robert Feys (1889—1961) was a logician ... Haskell B. Curry Robert Feys. With two sections ... ed. by Robert Feys and Frederic B. Fitch. Publisher: Amsterdam : ...
http://en.wikipedia.org/wiki/Robert_Feys

Feys - Wikipedia, the free encyclopedia

  
Robert Feys (1889-1961), logician and philosopher [edit] See also. Fays. Fey (disambiguation) This page or section lists people with the surname Feys. ...
http://en.wikipedia.org/wiki/Feys

Review: Robert Feys, Logique Formalisee et Philosophie

  
Review: Robert Feys, Logique Formalisee et Philosophie. Robert E. Luce ... Robert Feys, Logique Formalisee et Philosophie. Full-text: Remote access ...
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183730539

Citations: Curry and Robert Feys - Haskell (ResearchIndex)

  
Haskell B. Curry and Robert Feys. Combinatory Logic I. North-Holland, Amsterdam, 1958. ... Haskell B. Curry and Robert Feys. Combinatory Logic, volume 1. North ...
http://citeseer.ist.psu.edu/context/57747/0

Review: Robert Feys, Principes de Logistique

  
Review: Robert Feys, Principes de Logistique. Paul Henle ... Robert Feys, Principes de Logistique. Full-text: Remote access. If you are a member of the ASL, ...
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183386797

Dictionary of symbols of mathematical logic. [WorldCat.org]

  
Get this at a library near you! -- Author: [Robert Feys; Frederic B Fitch] -- Related Subjects: [Logic, Symbolic and mathematical. Mathematical notation. Logica. ...
http://www.worldcat.org/oclc/9909

John Halleck's Logic Bibliography

  
[Feys, 1950] "Les systèmes formalisés de modalités aristotéliciennes" by Robert ... [Feys, 1965] "Modal Logics", by Robert Feys, 1965. ...
http://www.cc.utah.edu/~nahaj/logic/structures/bibliography.html

1 Gottfried Leibniz Abt. 1663 - Otto Mencke Abt. 1665 - Jean-le ...

  
... Jocelyn Dunphy-Blomfield B. Eddins Robert Feys L. Finch Peter Galison Andre ... David C. Yalden-Thomson Robert Yanal Charles Caton Maurice Chagnon Norris Clarke ...
https://webspace.utexas.edu/deverj/personal/philtree/orphan.htm

PHILOSOPHY - Department of Philosophy at Southern Illinois University ...

  
This is the homepage of the Department of Philosophy at Southern Illinois University Carbondale. Our program specializes ... Robert Feys: Carnap on Modalities ...
http://www.siuc.edu/~philos/llp/Rudolf%20Carnap.html

Notes on: Descriptive and Critical Essays on the Philosophy of Rudolf ...

  
Notes on: The Philosophy of Rudolf Carnap, part II ... ROBERT S. COHEN. Dialectical Materialism and Carnap's ... ROBERT FEYS. Carnap on Modalities. JOHN MYHILL ...
http://www.rbjones.com/rbjpub/philos/bibliog/carnap63II.html
 MORE WEB RESULTS »  

 Questions 'n' Answers about 'Robert Feys' Opens New Window.
We did not find QA results for: Robert Feys. Try the suggestions below or type a new query above.

Suggestions:

  • Check your spelling.
  • Try more general words.
  • Try different words that mean the same thing.
  • Broaden your search by using fewer words.
 Dictionary Opens New Window.

Click on the word below to see the definition:
 
 Encyclopedia Opens New Window.

Robert Feys (1889—1961) was a logician and philosopher.

In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic I).

[edit] Bibliography

  • Combinatory logic
    Haskell B. Curry Robert Feys. With two sections by William Craig
    Publisher: Amsterdam, North-Holland Pub. Co., 1958-72.
    ISBN 0-7204-2208-6
  • Dictionary of symbols of mathematical logic
    ed. by Robert Feys and Frederic B. Fitch
    Publisher: Amsterdam : North-Holland Pub. Co., 1973, c1969.
    ISBN 0-7204-2250-7

[edit] External links

  • Sources for birth and death date: [1] and [2]


All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc.
Privacy policy - About Wikipedia - Disclaimers - Fundraising
 
 Images Opens New Window.
File Size: 22.69921875k
Dimensions: 482 x 399 pixels
File Format: jpeg
File Size: 18.8994140625k
Dimensions: 429 x 383 pixels
File Format: jpeg
File Size: 230.8994140625k
Dimensions: 650 x 800 pixels
File Format: jpeg
File Size: 24k
Dimensions: 604 x 400 pixels
File Format: jpeg
 
 
Go to » Web - QA - Dictionary - Encyclopedia - Images