The calculi of lambda-conversion

Materias

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

Ediciones (5)

• The calculi of lambda-conversion (1965)

  Kraus Reprint Corporation · inglés

• The calculi of lambda-conversion (1965)

  Kraus Reprint · inglés

• The calculi of Lambda-conversion. (1941)

  Princeton Univ. Press · inglés

• The calculi of lambda-conversion. (1941)

  Princeton University Press · inglés

• The calculi of lambda-conversion (1941)

  Princeton university press · inglés

Más obras de Alonzo Church

AAlternatives to Zermelo's assumption ..

Alternatives to Zermelo's assumption ..

A bibliography of symbolic logic, 1666-1935

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)