A Formulation of the Simple Theory of Types

Journal of Symbolic Logic 1940 / 06 Vol. 5; Iss. 2

A Formulation of the Simple Theory of Types

Alonzo Church
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
5
Langue:
english
Pages:
13
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2266170
Date:
June, 1940
Fichier:
PDF, 1.08 MB
english, 1940
La conversion en est effectuée
La conversion en a échoué