Cargando...

Código QR

Computations in higher types

other_versions_link

Detalles Bibliográficos
Autor principal:	Moldestad, Johan
Formato:	Printed Book
Lenguaje:	English
Publicado:	Berlin Springer-Verlag 1976
Materias:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Ejemplares similares

Theory of recursive functions and effective computability
por: Jr, Harley Rogers
Publicado: (1967)

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

Mathematicas for Higher National Certificate
por: Bell, S.W
Publicado: (1959)

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

Collected works:
por: Bruwer, L E J

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

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

Mathematical systems: Finite and Infinite
por: Hackworth, Robert D
Publicado: (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: (1957)

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

Souslin problem
por: Devlion, Keith J
Publicado: (1974)

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

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

Ganannal
por: Ramakrsnan, A N

Ganannal
por: Ramakrsnan, A N
Publicado: (1983)

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

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

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

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

Classification algorithms
por: James, Mike
Publicado: (1985)

Recursiveness
por: Eilenberg, Samuel
Publicado: (1970)

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

Proof theory
por: Schutte, Kurt
Publicado: (1977)

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

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

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

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

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

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

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

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

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

Finite mathematics and calculus with applications.
por: Stratopoulos, G M
Publicado: (1976)

<Encyclopaedia> of Mathematics and its applications
por: Gasper, George
Publicado: (1990)

Dix exposes sur la cohomolgie des schemas
por: Giraud, J
Publicado: (1968)

Mathematics: a chronicle of human endeavour
por: Gross, Herbert I
Publicado: (1971)

Fundamental mathematics
por: Grossnickle, Foster E
Publicado: (1964)

course of pure mathematics.
por: Hardy, G H
Publicado: (1952)