A theory of formal deducibility

Enregistré dans:
Détails bibliographiques
Auteur principal: Curry, Haskell B (Auteur)
Format: Livre
Langue:anglais
Publié: Notre Dame University of Notre Dame 1950
Collection:Notre Dame Mathematical Lectures, 6
Sujets:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!