تحميل...

QR رمز

Proof theory

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Schutte, Kurt
مؤلفون آخرون:	Crossley, J.N
التنسيق:	Printed Book
اللغة:	English
منشور في:	New York Springer-Verlag 1977
الموضوعات:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

مواد مشابهة

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)

Theory of recursive functions and effective computability
بواسطة: Jr, Harley Rogers
منشور في: (1967)

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

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

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

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

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)

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

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

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

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)

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)

<Encyclopaedia> of Mathematics and its applications
بواسطة: Gasper, George
منشور في: (1990)

Dix exposes sur la cohomolgie des schemas
بواسطة: Giraud, J
منشور في: (1968)

Mathematics: a chronicle of human endeavour
بواسطة: Gross, Herbert I
منشور في: (1971)

Fundamental mathematics
بواسطة: Grossnickle, Foster E
منشور في: (1964)

course of pure mathematics.
بواسطة: Hardy, G H
منشور في: (1952)

Mathematics for the million
بواسطة: Hogben, Lancelot
منشور في: (1968)