Theory of Formal Deducibility

View on Open Library

Theory of Formal Deducibility

by Haskell B. Curry

No reviews yet

First published: 1957 1 language ISBN: 9780268002749

Subjects

Logic, symbolic and mathematical

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

A theory of formal deducibility

A 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