Chargement en cours...
Computations in higher types
| Auteur principal: | Moldestad, Johan |
|---|---|
| Format: | Printed Book |
| Langue: | English |
| Publié: |
Berlin
Springer-Verlag
1976
|
| Sujets: |
Documents similaires
-
Theory of recursive functions and effective computability
par: Jr, Harley Rogers
Publié: (1967) -
Computer science and multiple- valued logic theory and applications
par: Rine, David C
Publié: (1984) -
Mathematicas for Higher National Certificate
par: Bell, S.W
Publié: (1959) -
Schaum's outline of theory and problems of set theory and related topics.
par: Lipschutz, Seymour
Publié: (1976) -
Collected works:
par: Bruwer, L E J