Caricamento...

Codice QR

Proof theory

Dettagli Bibliografici
Autore principale:	Schutte, Kurt
Altri autori:	Crossley, J.N
Natura:	Printed Book
Lingua:	English
Pubblicazione:	New York Springer-Verlag 1977
Soggetti:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Documenti analoghi

Exercises in set theory
di: Sigler, L E
Pubblicazione: (1979)

Introduction to set theory
di: Hrbacek, karel
Pubblicazione: (1978)

Introduction to set theory
di: Hrbacek, karel
Pubblicazione: (1984)

Proceedings: The theory of maodels
di: Addison, J W
Pubblicazione: (1972)

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

Topics in mathematical system theory
di: Kalman, R.E
Pubblicazione: (1974)

Topics in mathematical system theory
di: Kalman, R.E
Pubblicazione: (1974)

Fuzzy sets and systems: theory and applications
di: Dubois, Didier
Pubblicazione: (1980)

Theory of recursive functions and effective computability
di: Jr, Harley Rogers
Pubblicazione: (1967)

Pattern analysis: Lectures in pattern theory
di: Grenander, Ulf
Pubblicazione: (1978)

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

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

(A) course in mathematical logic
di: Yu.I.Manin
Pubblicazione: (1977)

Collected works:
di: Bruwer, L E J

Mehtods of finite mathematics
di: Brown, John W
Pubblicazione: (1989)

Studies in applied mathematics
di: Guillemin, Victor
Pubblicazione: (1983)

Mathematical systems: Finite and Infinite
di: Hackworth, Robert D
Pubblicazione: (1969)

Collected works
di: Brouwer, L E J

Collected works:
di: Bruwer, L E J

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

Sets and groups
di: Green, J A
Pubblicazione: (1965)

Souslin problem
di: Devlion, Keith J
Pubblicazione: (1974)

Ganannal
di: Ramakrsnan, A N

Ganannal
di: Ramakrsnan, A N
Pubblicazione: (1983)

Degrees of Unsolvability
di: Shoenfield, Joseph R
Pubblicazione: (1971)

Classification algorithms
di: James, Mike
Pubblicazione: (1985)

Recursiveness
di: Eilenberg, Samuel
Pubblicazione: (1970)

Computations in higher types
di: Moldestad, Johan
Pubblicazione: (1976)

Popular lectures on mathemsatical logic
di: Wang, Hao
Pubblicazione: (1981)

Dictionary of logical terms and symbols
di: Greenstein, Carol Horn
Pubblicazione: (1978)

Architecute of systems problem solving
di: Klir, George J.
Pubblicazione: (1985)

Theory of dispersed multiphase flow
di: Meyer, Richard E
Pubblicazione: (1983)

Theory of dispersed multiphase flow
di: Meyer, Richard E
Pubblicazione: (1983)

Mathematical theory of Feynman path integrals
di: Albeverio, Sergio
Pubblicazione: (1976)

<Encyclopaedia> of Mathematics and its applications
di: Gasper, George
Pubblicazione: (1990)

Dix exposes sur la cohomolgie des schemas
di: Giraud, J
Pubblicazione: (1968)

Mathematics: a chronicle of human endeavour
di: Gross, Herbert I
Pubblicazione: (1971)

Fundamental mathematics
di: Grossnickle, Foster E
Pubblicazione: (1964)

course of pure mathematics.
di: Hardy, G H
Pubblicazione: (1952)

Mathematics for the million
di: Hogben, Lancelot
Pubblicazione: (1968)