Yüklüyor......

QR Kod

Proof theory

Detaylı Bibliyografya
Yazar:	Schutte, Kurt
Diğer Yazarlar:	Crossley, J.N
Materyal Türü:	Printed Book
Dil:	English
Baskı/Yayın Bilgisi:	New York Springer-Verlag 1977
Konular:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Benzer Materyaller

Yüklüyor......

Exercises in set theory
Yazar:: Sigler, L E
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

Introduction to set theory
Yazar:: Hrbacek, karel
Baskı/Yayın Bilgisi: (1978)

Yüklüyor......

Introduction to set theory
Yazar:: Hrbacek, karel
Baskı/Yayın Bilgisi: (1984)

Yüklüyor......

Proceedings: The theory of maodels
Yazar:: Addison, J W
Baskı/Yayın Bilgisi: (1972)

Yüklüyor......

Schaum's outline of theory and problems of set theory and related topics.
Yazar:: Lipschutz, Seymour
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Topics in mathematical system theory
Yazar:: Kalman, R.E
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Topics in mathematical system theory
Yazar:: Kalman, R.E
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Fuzzy sets and systems: theory and applications
Yazar:: Dubois, Didier
Baskı/Yayın Bilgisi: (1980)

Yüklüyor......

Theory of recursive functions and effective computability
Yazar:: Jr, Harley Rogers
Baskı/Yayın Bilgisi: (1967)

Yüklüyor......

Pattern analysis: Lectures in pattern theory
Yazar:: Grenander, Ulf
Baskı/Yayın Bilgisi: (1978)

Yüklüyor......

Computer science and multiple- valued logic theory and applications
Yazar:: Rine, David C
Baskı/Yayın Bilgisi: (1984)

Yüklüyor......

Introduction to the design and analysis of algorithms
Yazar:: Goodman, S E
Baskı/Yayın Bilgisi: (1977)

Yüklüyor......

(A) course in mathematical logic
Yazar:: Yu.I.Manin
Baskı/Yayın Bilgisi: (1977)

Yüklüyor......

Collected works:
Yazar:: Bruwer, L E J

Yüklüyor......

Mehtods of finite mathematics
Yazar:: Brown, John W
Baskı/Yayın Bilgisi: (1989)

Yüklüyor......

Studies in applied mathematics
Yazar:: Guillemin, Victor
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Mathematical systems: Finite and Infinite
Yazar:: Hackworth, Robert D
Baskı/Yayın Bilgisi: (1969)

Yüklüyor......

Collected works
Yazar:: Brouwer, L E J

Yüklüyor......

Collected works:
Yazar:: Bruwer, L E J

Yüklüyor......

How to solve it: New aspect of mathematical methods
Yazar:: Polya, G
Baskı/Yayın Bilgisi: (1957)

Yüklüyor......

Sets and groups
Yazar:: Green, J A
Baskı/Yayın Bilgisi: (1965)

Yüklüyor......

Souslin problem
Yazar:: Devlion, Keith J
Baskı/Yayın Bilgisi: (1974)

Yüklüyor......

Ganannal
Yazar:: Ramakrsnan, A N

Yüklüyor......

Ganannal
Yazar:: Ramakrsnan, A N
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Degrees of Unsolvability
Yazar:: Shoenfield, Joseph R
Baskı/Yayın Bilgisi: (1971)

Yüklüyor......

Classification algorithms
Yazar:: James, Mike
Baskı/Yayın Bilgisi: (1985)

Yüklüyor......

Recursiveness
Yazar:: Eilenberg, Samuel
Baskı/Yayın Bilgisi: (1970)

Yüklüyor......

Computations in higher types
Yazar:: Moldestad, Johan
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Popular lectures on mathemsatical logic
Yazar:: Wang, Hao
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Dictionary of logical terms and symbols
Yazar:: Greenstein, Carol Horn
Baskı/Yayın Bilgisi: (1978)

Yüklüyor......

Architecute of systems problem solving
Yazar:: Klir, George J.
Baskı/Yayın Bilgisi: (1985)

Yüklüyor......

Theory of dispersed multiphase flow
Yazar:: Meyer, Richard E
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Theory of dispersed multiphase flow
Yazar:: Meyer, Richard E
Baskı/Yayın Bilgisi: (1983)

Yüklüyor......

Mathematical theory of Feynman path integrals
Yazar:: Albeverio, Sergio
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

<Encyclopaedia> of Mathematics and its applications
Yazar:: Gasper, George
Baskı/Yayın Bilgisi: (1990)

Yüklüyor......

Dix exposes sur la cohomolgie des schemas
Yazar:: Giraud, J
Baskı/Yayın Bilgisi: (1968)

Yüklüyor......

Mathematics: a chronicle of human endeavour
Yazar:: Gross, Herbert I
Baskı/Yayın Bilgisi: (1971)

Yüklüyor......

Fundamental mathematics
Yazar:: Grossnickle, Foster E
Baskı/Yayın Bilgisi: (1964)

Yüklüyor......

course of pure mathematics.
Yazar:: Hardy, G H
Baskı/Yayın Bilgisi: (1952)

Yüklüyor......

Mathematics for the million
Yazar:: Hogben, Lancelot
Baskı/Yayın Bilgisi: (1968)