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
Έκδοση: (1979) -
Introduction to mathematical logic /
ανά: Hermes, Hans
Έκδοση: (1973) -
Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1964)