- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Curry, Haskell B.

Showing 1 - 7 of 7 results

Search Results

Cover image for Combinatory logic

Combinatory logic

by Curry, Haskell B., 1900-
1958
Format: Electronic

Location
Access Content Online

Cover image for Outlines of a formalist philosophy of mathematics

Outlines of a formalist philosophy of mathematics

by Curry, Haskell B.
1951
Format: Electronic

Location
Access Content Online

Cover image for Foundations of mathematical logic

Foundations of mathematical logic

by Curry, Haskell B.
1963
Format: Book

Joyner Library - General Stacks

Call Number: QA9 .C85

Cover image for Foundations of mathematical logic

Foundations of mathematical logic

by Curry, Haskell B.
1977
Format: Book

Joyner Library - General Stacks

Call Number: QA9 .C85 1977

Cover image for Outlines of a formalist philosophy of mathematics

Outlines of a formalist philosophy of mathematics

by Curry, Haskell B.
1958
Format: Book

Joyner Library - General Stacks

Call Number: QA9 .C86X 1958

Cover image for Combinatory logic

Combinatory logic

by Curry, Haskell B.
1958
Format: Book

Joyner Library - General Stacks

Call Number: View Items

Cover image for A theory of formal deducibility

A theory of formal deducibility

by Curry, Haskell B.
1966
Format: Book

Joyner Library - General Stacks

Call Number: QA1.N87 NO. 6