A theory of formal deducibility

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Curry, Haskell B (Auteur)
Formaat: Boek
Taal:Engels
Gepubliceerd in: Notre Dame University of Notre Dame 1950
Reeks:Notre Dame Mathematical Lectures, 6
Onderwerpen:
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Biblioteca de Matemática -

Exemplaargegevens van Biblioteca de Matemática -
Plaatsingsnummer: 511.3 CUR 1950
Kopie 2689553 Beschikbaar Plaats een reservatie