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!