The Lambda Calculus / Its Syntax and Semantics (Record no. 3856)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01034cam a22001934a 4500 |
| 005 - ΗΜΕΡΟΜΗΝΙΑ ΚΑΙ ΩΡΑ ΤΕΛΕΥΤΑΙΑΣ ΕΝΗΜΕΡΩΣΗΣ | |
| Πεδίο ελέγχου | 20250605164127.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| Πεδίο ελέγχου σταθερού μήκους | 250528s ||||||||||||||||||||||||d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 18498 |
| 020 ## - ISBN | |
| ISBN | 444867481 |
| 040 ## - ΠΗΓΗ ΚΑΤΑΛΟΓΟΓΡΑΦΗΣΗΣ | |
| Φορέας πρωτότυπης καταλογογράφησης | MC Athens Campus Library |
| Γλώσσα καταλογογράφησης | Ελληνικά, Μοντέρνα (1453-) |
| Modifying agency | MC Athens Campus Library |
| Κανόνες περιγραφικής καταλογογράφησης | AACR2 |
| 245 1# - ΤΙΤΛΟΣ ΚΑΙ ΔΗΛΩΣΗ ΥΠΕΥΘΥΝΟΤΗΤΑΣ | |
| Τίτλος | The Lambda Calculus / Its Syntax and Semantics |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Elsevier Science Publishers B.V, |
| Date of publication, distribution, etc. | 1985 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 624 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Preface, Introduction, Conversion, Reduction, Theories, Models, Conversion, Classical Lambda Calculus, The Theory of Combinators, The λ I-Calculus, Bohm Trees, Reduction, Fundamental Theorems, Strongly Equivalent Reductions, Reduction Strategies, Labelled Reduction, Other Notions of Reduction, Other Lambda Theories, Models, Construction of Models, Local Structure of Models, Global Structure of Models, Combinatory Groups, Appendices, Typed Lambda. Illative Combinatory Logic, Variables, Reference, Index of Names and Definitions and Symbols. |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Barendregt H. P. |
| 9 (RLIN) | 4760 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Τύπος τεκμηρίου | Βιβλιοθήκη | Τρέχουσα τοποθεσία | Barcode | Αριθμός εισαγωγής | Ημερομηνία απόκτησης | Ταξιθετικό σύμβολο | Αριθμός αντιτύπου | Κατάσταση απόσυρσης | Κατάσταση χαμένου | Κατάσταση κατεστραμμένου | Μη δανεισμός | Σύνολο δανεισμών | Ημερομηνία τελευταίας εμφάνισης | Η τιμή ισχύει από |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | MC Athens Campus Library | MC Athens Campus Library | 9780000038555 | 3193 | 05/06/2025 | 511.3 BAR | 1 | 05/06/2025 | 05/06/2025 |