A theory of formal deducibility

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Curry, Haskell B (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: Notre Dame University of Notre Dame 1950
Σειρά:Notre Dame Mathematical Lectures, 6
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!