Jump to main content

yr 〜
yr

Search results 13

Foundations of mathematical logic = Grundlagen der kombinatorischen Logik

Foundations of mathematical logic = Grundlagen der kombinatorischen Logik
Paper図書
Haskell Curry ; Translated and presented by Fairouz Kamareddine and Jonathan SeldinCollege Publicationsc2016
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks)

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism
Paper図書
edited by J.P. Seldin, J.R. HindleyAcademic Press1980
Other Libraries in Japan
  • Subject Heading...says, lectures Curry, Haskell B. (Haskell Brooks), 1900-
  • Subject Heading (ID)...says, lectures Curry, Haskell B. (Haskell Brooks), 1900-
  • Author HeadingCurry, Haskell B. (Haskell Brooks) Hindley, J. Roger Seldin, Jon...

Foundations of mathematical logic

Foundations of mathematical logic
Paper図書
Haskell B. CurryDover Publications1977
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks)

Combinatory logic v. 2

Combinatory logic v. 2
Digital図書
Haskell B. Curry, Rober Feys, with two sections by William CraigUT Back-in-Print Service1958
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks) Rober Feys William Craig

Foundations of mathematical logic

Foundations of mathematical logic
Paper図書
Haskell B. CurryMcGraw-Hill[1963]
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks)

Outlines of a formalist philosophy of mathematics. (Studies in logic and the foundations of mathematics.)

Outlines of a formalist philosophy of mathematics. (Studies in logic and the foundations of mathematics.)
Paper図書
North-Holland Pub. Co.1958.<510.1-C976o>
National Diet Library
  • Author HeadingCurry, Haskell B. (Haskell Brooks) , 1900-

Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. (Studies in logic and the foundations of mathematics)

Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1958-72.<164-C976c>
National Diet Library
  • Author HeadingCurry, Haskell B. (Haskell Brooks) , 1900-

Combinatory logic v. 2

Combinatory logic v. 2
Digital図書
Haskell B. Curry, Robert Feys ; with two sections by William CraigNorth-Holland Pub. Co.1958
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks) Feys, Robert Craig, William

A theory of formal deducibility [2nd ed.]

A theory of formal deducibility [2nd ed.]
Paper図書
by Haskell Brooks CurryUniversity of Notre Dame Press[1955?], c1950
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks)

Leçons de logique algébrique

Leçons de logique algébrique
Paper図書
par Haskell B. CurryGauthier-Villars1952
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks)

Outlines of a formalist philosophy of mathematics

Outlines of a formalist philosophy of mathematics
Paper図書
Haskell B. CurryNorth-Holland Pub. Co.c1951
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks)

A theory of formal deducibility

A theory of formal deducibility
Paper図書
1950
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks)

Grundlagen der kombinatorischen Logik

Grundlagen der kombinatorischen Logik
Paper図書
vorgelegt von Haskell Brooks Curry[s.n.]1930
Other Libraries in Japan
  • Author HeadingCurry, Haskell B. (Haskell Brooks)

Reached to the end of result.

RSS