Custom cover image
Custom cover image

The Lambda calculus : its syntax and semantics / H. P. Barendregt

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Studies in logic and the foundations of mathematics ; 103Publisher: Amsterdam [u.a.] : North-Holland Publ. Co., 1981Description: XIV, 615 S. : Ill., graph. DarstISBN:
  • 0444854908
Subject(s): DDC classification:
  • 511.3
RVK: RVK: SK 130Call number: Grundsignatur: 81 A 898PPN: PPN: 02422491X
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 81 A 898 Available 53710499090
Total holds: 0