Loading...

QR Code

Proof theory

Bibliographic Details
Main Author:	Schutte, Kurt
Other Authors:	Crossley, J.N
Format:	Printed Book
Language:	English
Published:	New York Springer-Verlag 1977
Subjects:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Similar Items

Exercises in set theory
by: Sigler, L E
Published: (1979)

Introduction to set theory
by: Hrbacek, karel
Published: (1978)

Introduction to set theory
by: Hrbacek, karel
Published: (1984)

Proceedings: The theory of maodels
by: Addison, J W
Published: (1972)

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

Topics in mathematical system theory
by: Kalman, R.E
Published: (1974)

Topics in mathematical system theory
by: Kalman, R.E
Published: (1974)

Fuzzy sets and systems: theory and applications
by: Dubois, Didier
Published: (1980)

Theory of recursive functions and effective computability
by: Jr, Harley Rogers
Published: (1967)

Pattern analysis: Lectures in pattern theory
by: Grenander, Ulf
Published: (1978)

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

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

(A) course in mathematical logic
by: Yu.I.Manin
Published: (1977)

Collected works:
by: Bruwer, L E J

Mehtods of finite mathematics
by: Brown, John W
Published: (1989)

Studies in applied mathematics
by: Guillemin, Victor
Published: (1983)

Mathematical systems: Finite and Infinite
by: Hackworth, Robert D
Published: (1969)

Collected works
by: Brouwer, L E J

Collected works:
by: Bruwer, L E J

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

Sets and groups
by: Green, J A
Published: (1965)

Souslin problem
by: Devlion, Keith J
Published: (1974)

Ganannal
by: Ramakrsnan, A N

Ganannal
by: Ramakrsnan, A N
Published: (1983)

Degrees of Unsolvability
by: Shoenfield, Joseph R
Published: (1971)

Classification algorithms
by: James, Mike
Published: (1985)

Recursiveness
by: Eilenberg, Samuel
Published: (1970)

Computations in higher types
by: Moldestad, Johan
Published: (1976)

Popular lectures on mathemsatical logic
by: Wang, Hao
Published: (1981)

Dictionary of logical terms and symbols
by: Greenstein, Carol Horn
Published: (1978)

Architecute of systems problem solving
by: Klir, George J.
Published: (1985)

Theory of dispersed multiphase flow
by: Meyer, Richard E
Published: (1983)

Theory of dispersed multiphase flow
by: Meyer, Richard E
Published: (1983)

Mathematical theory of Feynman path integrals
by: Albeverio, Sergio
Published: (1976)

<Encyclopaedia> of Mathematics and its applications
by: Gasper, George
Published: (1990)

Dix exposes sur la cohomolgie des schemas
by: Giraud, J
Published: (1968)

Mathematics: a chronicle of human endeavour
by: Gross, Herbert I
Published: (1971)

Fundamental mathematics
by: Grossnickle, Foster E
Published: (1964)

course of pure mathematics.
by: Hardy, G H
Published: (1952)

Mathematics for the million
by: Hogben, Lancelot
Published: (1968)