The lambda calculus : its syntax and semantics /
Κύριος συγγραφέας: | Barendregt, H. P. (Hendrik Pieter) (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
Elsevier,
1984 [4th impression 1998].
|
Έκδοση: | Rev. ed. |
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
The lambda calculus : its syntax and semantics /
ανά: Barendregt, H. P. (Hendrik Pieter)
Έκδοση: (1984) -
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Έκδοση: (1973) -
The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997) -
Domains and lambda-calculi
ανά: Amadio, Roberto M.
Έκδοση: (1998) -
Logic, semantics, metamathematics papers from 1923 to 1938
ανά: Tarski, Alfred
Έκδοση: (1956)