The lambda calculus : its syntax and semantics /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Barendregt, H. P. (Hendrik Pieter) (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam : Elsevier, 1984.
Έκδοση:Rev. ed.
Σειρά:Studies in logic and the foundations of mathematics 103.
Θέματα:

ΒΚΠ - Πατρα: Reference Shelf

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Reference Shelf
Ταξιθετικός Αριθμός: Π/Σ 511.35 BAR
Αντίγραφο 1 Στη βιβλιοθήκη