Introduction to combinatory logic /
Κύριος συγγραφέας: | Hindley, J. Roger (συγγραφέας.) |
---|---|
Άλλοι συγγραφείς: | Lercher, B. (συγγραφέας.), Seldin, J. P. (συγγραφέας.) |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge [Eng.] :
Cambridge University Press,
1972.
|
Σειρά: | London Mathematical Society lecture note series
7. |
Θέματα: |
Παρόμοια τεκμήρια
-
Combinatory logic /
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1958) -
Introduction to logic
ανά: Suppes, Patrick 1922-2014
Έκδοση: (1957) -
Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1964) -
Introduction to symbolic logic
ανά: Basson, A. H.
Έκδοση: (1959) -
Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1997)