Introduction to combinatory logic /
Hindley, J. Roger
Introduction to combinatory logic / J. R. Hindley, B. Lercher and J. P. Seldin. - Cambridge [Eng.] : Cambridge University Press, 1972. - 170 σ. ; 24 εκ. - London Mathematical Society. Lecture note series 7. . - London Mathematical Society lecture note series 7. .
Περιλαμβάνει βιβλιογραφία.
0521096979
74179165
Λογική, Συμβολική και μαθηματική
511.3
Introduction to combinatory logic / J. R. Hindley, B. Lercher and J. P. Seldin. - Cambridge [Eng.] : Cambridge University Press, 1972. - 170 σ. ; 24 εκ. - London Mathematical Society. Lecture note series 7. . - London Mathematical Society lecture note series 7. .
Περιλαμβάνει βιβλιογραφία.
0521096979
74179165
Λογική, Συμβολική και μαθηματική
511.3