A theory of formal deducibility

Saved in:
Bibliografiske detaljer
Hovedforfatter: Curry, Haskell B (Author)
Format: Bog
Sprog:engelsk
Udgivet: Notre Dame University of Notre Dame 1950
Serier:Notre Dame Mathematical Lectures, 6
Fag:
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Biblioteca de Matemática -

Detaljer om beholdninger fra Biblioteca de Matemática -
Klassifikationsnummer: 511.3 CUR 1950
Kopi 2689553 Tilgængelig Reservér”