Haskell B. Curry’s Followers (5)

Haskell B. Curry

edit data

Combine Editions
Haskell B. Curry’s books

Average rating: 3.61 · 23 ratings · 1 review · 12 distinct works

	Foundations of Mathematical Logic (Dover Books on Mathematics) 3.61 avg rating — 18 ratings — published 1977 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Outlines of a formalist philosophy of mathematics really liked it 4.00 avg rating — 3 ratings — published 1970 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	A Theory of Formal Deducibility (Notre Dame Mathematical Lectures, Number 6) liked it 3.00 avg rating — 1 rating — published 1957 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) by Haskell B. Curry, Fairouz Kamareddine (Translation), Jonathan Seldin (Translation) liked it 3.00 avg rating — 1 rating	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Provability, Computability and Reflection by Haskell B. Curry, Lev D. Beklemishev 0.00 avg rating — 0 ratings — published 2000	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Osnovanija matematiÃ„Âeskoj logiki = Foundations of Mathematical Logic 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theory of Formal Deductibility. 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Foundations of Mathematical Logic. 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Lecons de Logique Algebrique. 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Combinatory Logic: Volume I 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Haskell B. Curry…

Quotes by Haskell B. Curry (?)

“We are now in a position to turn to problems of the definition of mathematics. The definition I advocate is briefly this: Mathematics is the science of formal systems.”
― Haskell B. Curry, Outlines of a formalist philosophy of mathematics

tags: formal-systems, mathematics, maths

0 likes

Is this you? Let us know. If not, help out and invite Haskell to Goodreads.

Haskell B. Curry’s Followers (5)

Haskell B. Curry

Combine EditionsHaskell B. Curry’s books

Combine Editions
Haskell B. Curry’s books