ロード中...
Computations in higher types
| 第一著者: | Moldestad, Johan |
|---|---|
| フォーマット: | Printed Book |
| 言語: | English |
| 出版事項: |
Berlin
Springer-Verlag
1976
|
| 主題: |
類似資料
-
Theory of recursive functions and effective computability
著者:: Jr, Harley Rogers
出版事項: (1967) -
Computer science and multiple- valued logic theory and applications
著者:: Rine, David C
出版事項: (1984) -
Mathematicas for Higher National Certificate
著者:: Bell, S.W
出版事項: (1959) -
Schaum's outline of theory and problems of set theory and related topics.
著者:: Lipschutz, Seymour
出版事項: (1976) -
Collected works:
著者:: Bruwer, L E J