Загрузка...

QR Code (код быстрого отклика)

Proof theory

Библиографические подробности
Главный автор:	Schutte, Kurt
Другие авторы:	Crossley, J.N
Формат:	Printed Book
Язык:	English
Опубликовано:	New York Springer-Verlag 1977
Предметы:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Схожие документы

Загрузка...

Exercises in set theory
по: Sigler, L E
Опубликовано: (1979)

Загрузка...

Introduction to set theory
по: Hrbacek, karel
Опубликовано: (1978)

Загрузка...

Introduction to set theory
по: Hrbacek, karel
Опубликовано: (1984)

Загрузка...

Proceedings: The theory of maodels
по: Addison, J W
Опубликовано: (1972)

Загрузка...

Schaum's outline of theory and problems of set theory and related topics.
по: Lipschutz, Seymour
Опубликовано: (1976)

Загрузка...

Topics in mathematical system theory
по: Kalman, R.E
Опубликовано: (1974)

Загрузка...

Topics in mathematical system theory
по: Kalman, R.E
Опубликовано: (1974)

Загрузка...

Fuzzy sets and systems: theory and applications
по: Dubois, Didier
Опубликовано: (1980)

Загрузка...

Theory of recursive functions and effective computability
по: Jr, Harley Rogers
Опубликовано: (1967)

Загрузка...

Pattern analysis: Lectures in pattern theory
по: Grenander, Ulf
Опубликовано: (1978)

Загрузка...

Computer science and multiple- valued logic theory and applications
по: Rine, David C
Опубликовано: (1984)

Загрузка...

Introduction to the design and analysis of algorithms
по: Goodman, S E
Опубликовано: (1977)

Загрузка...

(A) course in mathematical logic
по: Yu.I.Manin
Опубликовано: (1977)

Загрузка...

Collected works:
по: Bruwer, L E J

Загрузка...

Mehtods of finite mathematics
по: Brown, John W
Опубликовано: (1989)

Загрузка...

Studies in applied mathematics
по: Guillemin, Victor
Опубликовано: (1983)

Загрузка...

Mathematical systems: Finite and Infinite
по: Hackworth, Robert D
Опубликовано: (1969)

Загрузка...

Collected works
по: Brouwer, L E J

Загрузка...

Collected works:
по: Bruwer, L E J

Загрузка...

How to solve it: New aspect of mathematical methods
по: Polya, G
Опубликовано: (1957)

Загрузка...

Sets and groups
по: Green, J A
Опубликовано: (1965)

Загрузка...

Souslin problem
по: Devlion, Keith J
Опубликовано: (1974)

Загрузка...

Ganannal
по: Ramakrsnan, A N

Загрузка...

Ganannal
по: Ramakrsnan, A N
Опубликовано: (1983)

Загрузка...

Degrees of Unsolvability
по: Shoenfield, Joseph R
Опубликовано: (1971)

Загрузка...

Classification algorithms
по: James, Mike
Опубликовано: (1985)

Загрузка...

Recursiveness
по: Eilenberg, Samuel
Опубликовано: (1970)

Загрузка...

Computations in higher types
по: Moldestad, Johan
Опубликовано: (1976)

Загрузка...

Popular lectures on mathemsatical logic
по: Wang, Hao
Опубликовано: (1981)

Загрузка...

Dictionary of logical terms and symbols
по: Greenstein, Carol Horn
Опубликовано: (1978)

Загрузка...

Architecute of systems problem solving
по: Klir, George J.
Опубликовано: (1985)

Загрузка...

Theory of dispersed multiphase flow
по: Meyer, Richard E
Опубликовано: (1983)

Загрузка...

Theory of dispersed multiphase flow
по: Meyer, Richard E
Опубликовано: (1983)

Загрузка...

Mathematical theory of Feynman path integrals
по: Albeverio, Sergio
Опубликовано: (1976)

Загрузка...

<Encyclopaedia> of Mathematics and its applications
по: Gasper, George
Опубликовано: (1990)

Загрузка...

Dix exposes sur la cohomolgie des schemas
по: Giraud, J
Опубликовано: (1968)

Загрузка...

Mathematics: a chronicle of human endeavour
по: Gross, Herbert I
Опубликовано: (1971)

Загрузка...

Fundamental mathematics
по: Grossnickle, Foster E
Опубликовано: (1964)

Загрузка...

course of pure mathematics.
по: Hardy, G H
Опубликовано: (1952)

Загрузка...

Mathematics for the million
по: Hogben, Lancelot
Опубликовано: (1968)