A theory of formal deducibility

View on Open Library

A theory of formal deducibility

by Haskell B. Curry

No reviews yet

First published: 1950 2 languages

Subjects

Logic, Symbolic and mathematical Symbolic and mathematical Logic History Social conditions

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Haskell B. Curry

Outlines of a formalist philosophy of mathematics

Outlines of a formalist philosophy of ma...

Combinatory logic

Combinatory logic

Foundations of mathematical logic

Foundations of mathematical logic

Theory of Formal Deducibility

Theory of Formal Deducibility

Combinatory logic

Combinatory logic

Outlines of a formalist philosophy of mathematics

Outlines of a formalist philosophy of ma...

You Might Also Like

More in Logic, Symbolic and ...

Tractatus logico-philosophicus

Tractatus logico-philosophicus

Ludwig Wittgenstein

An Investigation of the Laws of Thought (Barnes & Noble)

An Investigation of the Laws of Thought ...

George Boole

Algèbre de la logique

Algèbre de la logique

Louis Couturat

The Game of Logic

The Game of Logic

Lewis Carroll

Gödel's proof

Ernest Nagel

Philosophische Untersuchungen

Philosophische Untersuchungen

Ludwig Wittgenstein