تحميل...

QR رمز

Theory of recursive functions and effective computability

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Jr, Harley Rogers
التنسيق:	Printed Book
اللغة:	English
منشور في:	New York McGraw-Hill 1967
الموضوعات:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

مواد مشابهة

Recursiveness
بواسطة: Eilenberg, Samuel
منشور في: (1970)

Computer science and multiple- valued logic theory and applications
بواسطة: Rine, David C
منشور في: (1984)

Computations in higher types
بواسطة: Moldestad, Johan
منشور في: (1976)

Proof theory
بواسطة: Schutte, Kurt
منشور في: (1977)

Exercises in set theory
بواسطة: Sigler, L E
منشور في: (1979)

Introduction to set theory
بواسطة: Hrbacek, karel
منشور في: (1978)

Introduction to set theory
بواسطة: Hrbacek, karel
منشور في: (1984)

Proceedings: The theory of maodels
بواسطة: Addison, J W
منشور في: (1972)

Schaum's outline of theory and problems of set theory and related topics.
بواسطة: Lipschutz, Seymour
منشور في: (1976)

Topics in mathematical system theory
بواسطة: Kalman, R.E
منشور في: (1974)

Topics in mathematical system theory
بواسطة: Kalman, R.E
منشور في: (1974)

Fuzzy sets and systems: theory and applications
بواسطة: Dubois, Didier
منشور في: (1980)

Pattern analysis: Lectures in pattern theory
بواسطة: Grenander, Ulf
منشور في: (1978)

Collected works:
بواسطة: Bruwer, L E J

Mehtods of finite mathematics
بواسطة: Brown, John W
منشور في: (1989)

Studies in applied mathematics
بواسطة: Guillemin, Victor
منشور في: (1983)

Mathematical systems: Finite and Infinite
بواسطة: Hackworth, Robert D
منشور في: (1969)

Collected works
بواسطة: Brouwer, L E J

Collected works:
بواسطة: Bruwer, L E J

How to solve it: New aspect of mathematical methods
بواسطة: Polya, G
منشور في: (1957)

Sets and groups
بواسطة: Green, J A
منشور في: (1965)

Souslin problem
بواسطة: Devlion, Keith J
منشور في: (1974)

Ganannal
بواسطة: Ramakrsnan, A N

Ganannal
بواسطة: Ramakrsnan, A N
منشور في: (1983)

Degrees of Unsolvability
بواسطة: Shoenfield, Joseph R
منشور في: (1971)

Introduction to the design and analysis of algorithms
بواسطة: Goodman, S E
منشور في: (1977)

Classification algorithms
بواسطة: James, Mike
منشور في: (1985)

(A) course in mathematical logic
بواسطة: Yu.I.Manin
منشور في: (1977)

Popular lectures on mathemsatical logic
بواسطة: Wang, Hao
منشور في: (1981)

Dictionary of logical terms and symbols
بواسطة: Greenstein, Carol Horn
منشور في: (1978)

Architecute of systems problem solving
بواسطة: Klir, George J.
منشور في: (1985)

Instuobrs maual for selected topics in mathemamatics
بواسطة: Edward L. Spitznagel,Jr
منشور في: (1971)

Computer oriented <numerical methods>
بواسطة: Rajaraman, V.
منشور في: (1974)

Computer oriented <numerical methods>
بواسطة: Rajaraman, V.
منشور في: (1984)

Mathematical tables of elementary and some lighter mathematical functions
بواسطة: Dwight, Herbert Bristol
منشور في: (1961)

Theory of dispersed multiphase flow
بواسطة: Meyer, Richard E
منشور في: (1983)

Theory of dispersed multiphase flow
بواسطة: Meyer, Richard E
منشور في: (1983)

Mathematical theory of Feynman path integrals
بواسطة: Albeverio, Sergio
منشور في: (1976)

Manual of mathematics
بواسطة: Korn, Granino A.
منشور في: (1967)

Manual of Mathematics
بواسطة: Korn, Granino A.
منشور في: (1967)