A carregar...

Código QR

Theory of recursive functions and effective computability

Detalhes bibliográficos
Autor principal:	Jr, Harley Rogers
Formato:	Printed Book
Idioma:	English
Publicado em:	New York McGraw-Hill 1967
Assuntos:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Registos relacionados

Recursiveness
Por: Eilenberg, Samuel
Publicado em: (1970)

Computer science and multiple- valued logic theory and applications
Por: Rine, David C
Publicado em: (1984)

Computations in higher types
Por: Moldestad, Johan
Publicado em: (1976)

Proof theory
Por: Schutte, Kurt
Publicado em: (1977)

Exercises in set theory
Por: Sigler, L E
Publicado em: (1979)

Introduction to set theory
Por: Hrbacek, karel
Publicado em: (1978)

Introduction to set theory
Por: Hrbacek, karel
Publicado em: (1984)

Proceedings: The theory of maodels
Por: Addison, J W
Publicado em: (1972)

Schaum's outline of theory and problems of set theory and related topics.
Por: Lipschutz, Seymour
Publicado em: (1976)

Topics in mathematical system theory
Por: Kalman, R.E
Publicado em: (1974)

Topics in mathematical system theory
Por: Kalman, R.E
Publicado em: (1974)

Fuzzy sets and systems: theory and applications
Por: Dubois, Didier
Publicado em: (1980)

Pattern analysis: Lectures in pattern theory
Por: Grenander, Ulf
Publicado em: (1978)

Collected works:
Por: Bruwer, L E J

Mehtods of finite mathematics
Por: Brown, John W
Publicado em: (1989)

Studies in applied mathematics
Por: Guillemin, Victor
Publicado em: (1983)

Mathematical systems: Finite and Infinite
Por: Hackworth, Robert D
Publicado em: (1969)

Collected works
Por: Brouwer, L E J

Collected works:
Por: Bruwer, L E J

How to solve it: New aspect of mathematical methods
Por: Polya, G
Publicado em: (1957)

Sets and groups
Por: Green, J A
Publicado em: (1965)

Souslin problem
Por: Devlion, Keith J
Publicado em: (1974)

Ganannal
Por: Ramakrsnan, A N

Ganannal
Por: Ramakrsnan, A N
Publicado em: (1983)

Degrees of Unsolvability
Por: Shoenfield, Joseph R
Publicado em: (1971)

Introduction to the design and analysis of algorithms
Por: Goodman, S E
Publicado em: (1977)

Classification algorithms
Por: James, Mike
Publicado em: (1985)

(A) course in mathematical logic
Por: Yu.I.Manin
Publicado em: (1977)

Popular lectures on mathemsatical logic
Por: Wang, Hao
Publicado em: (1981)

Dictionary of logical terms and symbols
Por: Greenstein, Carol Horn
Publicado em: (1978)

Architecute of systems problem solving
Por: Klir, George J.
Publicado em: (1985)

Instuobrs maual for selected topics in mathemamatics
Por: Edward L. Spitznagel,Jr
Publicado em: (1971)

Computer oriented <numerical methods>
Por: Rajaraman, V.
Publicado em: (1974)

Computer oriented <numerical methods>
Por: Rajaraman, V.
Publicado em: (1984)

Mathematical tables of elementary and some lighter mathematical functions
Por: Dwight, Herbert Bristol
Publicado em: (1961)

Theory of dispersed multiphase flow
Por: Meyer, Richard E
Publicado em: (1983)

Theory of dispersed multiphase flow
Por: Meyer, Richard E
Publicado em: (1983)

Mathematical theory of Feynman path integrals
Por: Albeverio, Sergio
Publicado em: (1976)

Manual of mathematics
Por: Korn, Granino A.
Publicado em: (1967)

Manual of Mathematics
Por: Korn, Granino A.
Publicado em: (1967)