Chargement en cours...

QR Code

Proof theory

Détails bibliographiques
Auteur principal:	Schutte, Kurt
Autres auteurs:	Crossley, J.N
Format:	Printed Book
Langue:	English
Publié:	New York Springer-Verlag 1977
Sujets:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Documents similaires

Chargement en cours...

Exercises in set theory
par: Sigler, L E
Publié: (1979)

Chargement en cours...

Introduction to set theory
par: Hrbacek, karel
Publié: (1978)

Chargement en cours...

Introduction to set theory
par: Hrbacek, karel
Publié: (1984)

Chargement en cours...

Proceedings: The theory of maodels
par: Addison, J W
Publié: (1972)

Chargement en cours...

Schaum's outline of theory and problems of set theory and related topics.
par: Lipschutz, Seymour
Publié: (1976)

Chargement en cours...

Topics in mathematical system theory
par: Kalman, R.E
Publié: (1974)

Chargement en cours...

Topics in mathematical system theory
par: Kalman, R.E
Publié: (1974)

Chargement en cours...

Fuzzy sets and systems: theory and applications
par: Dubois, Didier
Publié: (1980)

Chargement en cours...

Theory of recursive functions and effective computability
par: Jr, Harley Rogers
Publié: (1967)

Chargement en cours...

Pattern analysis: Lectures in pattern theory
par: Grenander, Ulf
Publié: (1978)

Chargement en cours...

Computer science and multiple- valued logic theory and applications
par: Rine, David C
Publié: (1984)

Chargement en cours...

Introduction to the design and analysis of algorithms
par: Goodman, S E
Publié: (1977)

Chargement en cours...

(A) course in mathematical logic
par: Yu.I.Manin
Publié: (1977)

Chargement en cours...

Collected works:
par: Bruwer, L E J

Chargement en cours...

Mehtods of finite mathematics
par: Brown, John W
Publié: (1989)

Chargement en cours...

Studies in applied mathematics
par: Guillemin, Victor
Publié: (1983)

Chargement en cours...

Mathematical systems: Finite and Infinite
par: Hackworth, Robert D
Publié: (1969)

Chargement en cours...

Collected works
par: Brouwer, L E J

Chargement en cours...

Collected works:
par: Bruwer, L E J

Chargement en cours...

How to solve it: New aspect of mathematical methods
par: Polya, G
Publié: (1957)

Chargement en cours...

Sets and groups
par: Green, J A
Publié: (1965)

Chargement en cours...

Souslin problem
par: Devlion, Keith J
Publié: (1974)

Chargement en cours...

Ganannal
par: Ramakrsnan, A N

Chargement en cours...

Ganannal
par: Ramakrsnan, A N
Publié: (1983)

Chargement en cours...

Degrees of Unsolvability
par: Shoenfield, Joseph R
Publié: (1971)

Chargement en cours...

Classification algorithms
par: James, Mike
Publié: (1985)

Chargement en cours...

Recursiveness
par: Eilenberg, Samuel
Publié: (1970)

Chargement en cours...

Computations in higher types
par: Moldestad, Johan
Publié: (1976)

Chargement en cours...

Popular lectures on mathemsatical logic
par: Wang, Hao
Publié: (1981)

Chargement en cours...

Dictionary of logical terms and symbols
par: Greenstein, Carol Horn
Publié: (1978)

Chargement en cours...

Architecute of systems problem solving
par: Klir, George J.
Publié: (1985)

Chargement en cours...

Theory of dispersed multiphase flow
par: Meyer, Richard E
Publié: (1983)

Chargement en cours...

Theory of dispersed multiphase flow
par: Meyer, Richard E
Publié: (1983)

Chargement en cours...

Mathematical theory of Feynman path integrals
par: Albeverio, Sergio
Publié: (1976)

Chargement en cours...

<Encyclopaedia> of Mathematics and its applications
par: Gasper, George
Publié: (1990)

Chargement en cours...

Dix exposes sur la cohomolgie des schemas
par: Giraud, J
Publié: (1968)

Chargement en cours...

Mathematics: a chronicle of human endeavour
par: Gross, Herbert I
Publié: (1971)

Chargement en cours...

Fundamental mathematics
par: Grossnickle, Foster E
Publié: (1964)

Chargement en cours...

course of pure mathematics.
par: Hardy, G H
Publié: (1952)

Chargement en cours...

Mathematics for the million
par: Hogben, Lancelot
Publié: (1968)