A theory of formal deducibility

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Curry, Haskell B (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Notre Dame University of Notre Dame 1950
Schriftenreihe:Notre Dame Mathematical Lectures, 6
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Biblioteca de Matemática -

Bestandsangaben von Biblioteca de Matemática -
Signatur: 511.3 CUR 1950
Exemplar 2689553 Verfügbar Bestellen