The calculi of lambda-conversion View on Open Library

The calculi of lambda-conversion

by Alonzo Church

No reviews yet
First published: 1965 1 language
Subjects
Functions 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

The calculi of lambda-conversion

The calculi of lambda-conversion

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 Journal of symbolic logic

The Journal of symbolic logic

You Might Also Like

More in Functions
Le Corbusier

Le Corbusier

Le Corbusier
A Course of Pure Mathematics

A Course of Pure Mathematics

G. H. Hardy
A course of modern analysis

A course of modern analysis

E. T. Whittaker
Precalculus

Precalculus

Ron Larson
Calculus

Calculus

Ron Larson
Introduction to Infinitesimal Analysis: Functions of One Real Variable

Introduction to Infinitesimal Analysis: ...

Veblen, Oswald