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!

Biblioteca de Matemática -

Informations d'exemplaires de Biblioteca de Matemática -
Cote: 511.3 CUR 1950
Exemplaire 2689553 Disponible Réserver