Učitavanje...

QR kȏd

Proof theory

Bibliografski detalji
Glavni autor:	Schutte, Kurt
Daljnji autori:	Crossley, J.N
Format:	Printed Book
Jezik:	English
Izdano:	New York Springer-Verlag 1977
Teme:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Similar Items

Exercises in set theory
od: Sigler, L E
Izdano: (1979)

Introduction to set theory
od: Hrbacek, karel
Izdano: (1978)

Introduction to set theory
od: Hrbacek, karel
Izdano: (1984)

Proceedings: The theory of maodels
od: Addison, J W
Izdano: (1972)

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

Topics in mathematical system theory
od: Kalman, R.E
Izdano: (1974)

Topics in mathematical system theory
od: Kalman, R.E
Izdano: (1974)

Fuzzy sets and systems: theory and applications
od: Dubois, Didier
Izdano: (1980)

Theory of recursive functions and effective computability
od: Jr, Harley Rogers
Izdano: (1967)

Pattern analysis: Lectures in pattern theory
od: Grenander, Ulf
Izdano: (1978)

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

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

(A) course in mathematical logic
od: Yu.I.Manin
Izdano: (1977)

Collected works:
od: Bruwer, L E J

Mehtods of finite mathematics
od: Brown, John W
Izdano: (1989)

Studies in applied mathematics
od: Guillemin, Victor
Izdano: (1983)

Mathematical systems: Finite and Infinite
od: Hackworth, Robert D
Izdano: (1969)

Collected works
od: Brouwer, L E J

Collected works:
od: Bruwer, L E J

How to solve it: New aspect of mathematical methods
od: Polya, G
Izdano: (1957)

Sets and groups
od: Green, J A
Izdano: (1965)

Souslin problem
od: Devlion, Keith J
Izdano: (1974)

Ganannal
od: Ramakrsnan, A N

Ganannal
od: Ramakrsnan, A N
Izdano: (1983)

Degrees of Unsolvability
od: Shoenfield, Joseph R
Izdano: (1971)

Classification algorithms
od: James, Mike
Izdano: (1985)

Recursiveness
od: Eilenberg, Samuel
Izdano: (1970)

Computations in higher types
od: Moldestad, Johan
Izdano: (1976)

Popular lectures on mathemsatical logic
od: Wang, Hao
Izdano: (1981)

Dictionary of logical terms and symbols
od: Greenstein, Carol Horn
Izdano: (1978)

Architecute of systems problem solving
od: Klir, George J.
Izdano: (1985)

Theory of dispersed multiphase flow
od: Meyer, Richard E
Izdano: (1983)

Theory of dispersed multiphase flow
od: Meyer, Richard E
Izdano: (1983)

Mathematical theory of Feynman path integrals
od: Albeverio, Sergio
Izdano: (1976)

<Encyclopaedia> of Mathematics and its applications
od: Gasper, George
Izdano: (1990)

Dix exposes sur la cohomolgie des schemas
od: Giraud, J
Izdano: (1968)

Mathematics: a chronicle of human endeavour
od: Gross, Herbert I
Izdano: (1971)

Fundamental mathematics
od: Grossnickle, Foster E
Izdano: (1964)

course of pure mathematics.
od: Hardy, G H
Izdano: (1952)

Mathematics for the million
od: Hogben, Lancelot
Izdano: (1968)