Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση 'Barendregt, H. P. (Hendrik Pieter)' Περιορισμός αποτελεσμάτων
  1. 1
    ανά Barendregt, H. P. (Hendrik Pieter)
    Έκδοση 1984
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    The Lambda calculus : its syntax and semantics /
  2. 2
    ανά Barendregt, H. P. (Hendrik Pieter)
    Έκδοση 1981
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    The Lambda calculus : its syntax and semantics /
  3. 3
    Έκδοση 1994
    Άλλοι συγγραφείς “...Barendregt, H. P. (Hendrik Pieter)...”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Εργαλεία αναζήτησης: