The calculi of lambda-conversion

View on Open Library

The calculi of lambda-conversion

by Alonzo Church

No reviews yet

First published: 1941 1 language

Subjects

Logic, Symbolic and mathematical Functions Recursive functions Logic Symbolic and mathematical Logic

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Alonzo Church

Introduction to mathematical logic

Introduction to mathematical logic

Introduction to mathematical logic

Introduction to mathematical logic

Logic, meaning, and computation

Logic, meaning, and computation

A bibliography of symbolic logic

A bibliography of symbolic logic

The calculi of lambda-conversion

The calculi of lambda-conversion

The Journal of symbolic logic

The Journal of symbolic logic

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