A theory of formal deducibility

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

Biblioteca de Matemática -

Λεπτομέρειες τεκμηρίων από Biblioteca de Matemática -
Ταξινομικός Αριθμός: 511.3 CUR 1950
Αντίγραφο 2689553 Στη βιβλιοθήκη Κάντε κράτηση