The lambda calculus : its syntax and semantics / H. P. Barendregt.
Τύπος υλικού: ΚείμενοΣειρά: Studies in logic and the foundations of mathematics ; 103.Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1984.Έκδοση: Rev. edΠεριγραφή: xv, 621 σ. ; 23 εκISBN:- 0444875085
- 511.35 23
Ελλιπή περιεχόμενα:
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [Not For Loan] | ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο | Π/Σ 511.35 BAR (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Δε δανείζεται | 025000069327 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Πληροφοριακό Αναγνωστήριο Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | ||||||
Π/Σ 511.34 CHA Continuous model theory / | Π/Σ 511.34 FIT Intuitionistic logic, model theory and forcing / | Π/Σ 511.35 BAR The lambda calculus : | Π/Σ 511.35 BAR The lambda calculus : | Π/Σ 511.35 GOO Recursive analysis / | Π/Σ 511.35 REC Recursion theory week : | Π/Σ 511.352 HER Enumerability, decidability, computability : |