Rezultaty 1 - 3 Rezultaty od 3 Dla wyszukiwania 'Barendregt, H. P. (Hendrik Pieter)' Redukuj rezultaty
  1. 1
    Książka
    Dodaj do listy ulubionych książek
    Zapisane w:
    The Lambda calculus : its syntax and semantics /
  2. 2
    Książka
    Dodaj do listy ulubionych książek
    Zapisane w:
    The Lambda calculus : its syntax and semantics /
  3. 3
    Wydane 1994
    Kolejni autorzy “...Barendregt, H. P. (Hendrik Pieter)...”
    Książka
    Dodaj do listy ulubionych książek
    Zapisane w:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Narzędzie wyszukiwania: