Á lódáil...
Theory of recursive functions and effective computability
| Príomhúdar: | Jr, Harley Rogers |
|---|---|
| Formáid: | Printed Book |
| Teanga: | English |
| Foilsithe: |
New York
McGraw-Hill
1967
|
| Ábhair: |
Míreanna Comhchosúla
-
Recursiveness
le: Eilenberg, Samuel
Foilsithe: (1970) -
Computer science and multiple- valued logic theory and applications
le: Rine, David C
Foilsithe: (1984) -
Computations in higher types
le: Moldestad, Johan
Foilsithe: (1976) -
Proof theory
le: Schutte, Kurt
Foilsithe: (1977) -
Exercises in set theory
le: Sigler, L E
Foilsithe: (1979)