Načítá se...

QR kód

Proof theory

Podrobná bibliografie
Hlavní autor:	Schutte, Kurt
Další autoři:	Crossley, J.N
Médium:	Printed Book
Jazyk:	English
Vydáno:	New York Springer-Verlag 1977
Témata:	Mathematics > Number theory > Set theory > Group theory > Mathematical sciences > Pure mathematics > Fundamentals of mathematics > Arithmetic & algebra

Podobné jednotky

Načítá se...

Exercises in set theory
Autor: Sigler, L E
Vydáno: (1979)

Načítá se...

Introduction to set theory
Autor: Hrbacek, karel
Vydáno: (1978)

Načítá se...

Introduction to set theory
Autor: Hrbacek, karel
Vydáno: (1984)

Načítá se...

Proceedings: The theory of maodels
Autor: Addison, J W
Vydáno: (1972)

Načítá se...

Schaum's outline of theory and problems of set theory and related topics.
Autor: Lipschutz, Seymour
Vydáno: (1976)

Načítá se...

Topics in mathematical system theory
Autor: Kalman, R.E
Vydáno: (1974)

Načítá se...

Topics in mathematical system theory
Autor: Kalman, R.E
Vydáno: (1974)

Načítá se...

Fuzzy sets and systems: theory and applications
Autor: Dubois, Didier
Vydáno: (1980)

Načítá se...

Theory of recursive functions and effective computability
Autor: Jr, Harley Rogers
Vydáno: (1967)

Načítá se...

Pattern analysis: Lectures in pattern theory
Autor: Grenander, Ulf
Vydáno: (1978)

Načítá se...

Computer science and multiple- valued logic theory and applications
Autor: Rine, David C
Vydáno: (1984)

Načítá se...

Introduction to the design and analysis of algorithms
Autor: Goodman, S E
Vydáno: (1977)

Načítá se...

(A) course in mathematical logic
Autor: Yu.I.Manin
Vydáno: (1977)

Načítá se...

Collected works:
Autor: Bruwer, L E J

Načítá se...

Mehtods of finite mathematics
Autor: Brown, John W
Vydáno: (1989)

Načítá se...

Studies in applied mathematics
Autor: Guillemin, Victor
Vydáno: (1983)

Načítá se...

Mathematical systems: Finite and Infinite
Autor: Hackworth, Robert D
Vydáno: (1969)

Načítá se...

Collected works
Autor: Brouwer, L E J

Načítá se...

Collected works:
Autor: Bruwer, L E J

Načítá se...

How to solve it: New aspect of mathematical methods
Autor: Polya, G
Vydáno: (1957)

Načítá se...

Sets and groups
Autor: Green, J A
Vydáno: (1965)

Načítá se...

Souslin problem
Autor: Devlion, Keith J
Vydáno: (1974)

Načítá se...

Ganannal
Autor: Ramakrsnan, A N

Načítá se...

Ganannal
Autor: Ramakrsnan, A N
Vydáno: (1983)

Načítá se...

Degrees of Unsolvability
Autor: Shoenfield, Joseph R
Vydáno: (1971)

Načítá se...

Classification algorithms
Autor: James, Mike
Vydáno: (1985)

Načítá se...

Recursiveness
Autor: Eilenberg, Samuel
Vydáno: (1970)

Načítá se...

Computations in higher types
Autor: Moldestad, Johan
Vydáno: (1976)

Načítá se...

Popular lectures on mathemsatical logic
Autor: Wang, Hao
Vydáno: (1981)

Načítá se...

Dictionary of logical terms and symbols
Autor: Greenstein, Carol Horn
Vydáno: (1978)

Načítá se...

Architecute of systems problem solving
Autor: Klir, George J.
Vydáno: (1985)

Načítá se...

Theory of dispersed multiphase flow
Autor: Meyer, Richard E
Vydáno: (1983)

Načítá se...

Theory of dispersed multiphase flow
Autor: Meyer, Richard E
Vydáno: (1983)

Načítá se...

Mathematical theory of Feynman path integrals
Autor: Albeverio, Sergio
Vydáno: (1976)

Načítá se...

<Encyclopaedia> of Mathematics and its applications
Autor: Gasper, George
Vydáno: (1990)

Načítá se...

Dix exposes sur la cohomolgie des schemas
Autor: Giraud, J
Vydáno: (1968)

Načítá se...

Mathematics: a chronicle of human endeavour
Autor: Gross, Herbert I
Vydáno: (1971)

Načítá se...

Fundamental mathematics
Autor: Grossnickle, Foster E
Vydáno: (1964)

Načítá se...

course of pure mathematics.
Autor: Hardy, G H
Vydáno: (1952)

Načítá se...

Mathematics for the million
Autor: Hogben, Lancelot
Vydáno: (1968)