A theory of formal deducibility

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Curry, Haskell B (Författare, medförfattare)
Materialtyp: Bok
Språk:engelska
Publicerad: Notre Dame University of Notre Dame 1950
Serie:Notre Dame Mathematical Lectures, 6
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Biblioteca de Matemática -

Beståndsuppgifter i Biblioteca de Matemática -
Signum: 511.3 CUR 1950
Exemplar 2689553 Tillgänglig Reservera