The lambda calculus : its syntax and semantics
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Amsterdam : New York : New York, N.Y. :
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1984
|
| Έκδοση: | Rev. ed |
| Σειρά: | Studies in logic and the foundations of mathematics ;
; v. 103 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|