2 results Refine Results
  1. 1
    Izdano 1974
    “...Synthese library...”
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
    Logical theory and semantic analysis : essays dedicated to Stig Kanger on his fiftieth birthday /
  2. 2
    od Stenlund, Soren
    Izdano 1972
    “...Synthese library...”
    Thesis Knjiga
    Dodaj v priljubljene
    Shranjeno v:
    Combinators, -terms and proof theory.

Iskalna orodja: