Loading...

QR Code

ISILC proof theory symposium

Bibliografiske detaljer
Andre forfattere:	Diller, J (Editor)
Format:	Printed Book
Udgivet:	Springer-Verlag, Berlin 1975
Serier:	Lecture Notes in Mathematics, No.0500
Fag:	Lecture Notes in Mathematics

Lignende værker

Symposium on algebraic topology
Udgivet: (1971)

Proceedings of the second Japan-USSR symposium on probability theory
Udgivet: (1973)

Symposium on ordinary differential equations
Udgivet: (1973)

Symposium on non-well-posed problems and logarithmic convexity
Udgivet: (1973)

Localization in group theory and homotopy theory
Udgivet: (1974)

Oscillation theory
af: Kreith, Kurt
Udgivet: (1973)

Potential theory
af: Wermer, John
Udgivet: (1974)

Category theory
af: Carboni, A, et al
Udgivet: (1991)

Obstruction theory
af: Baues, Hans J
Udgivet: (1977)

Knot theory
Udgivet: (1978)

Theorie ergodique
Udgivet: (1976)

Shape theory
af: Dydak, Jerzy
Udgivet: (1978)

Ergodic theory
Udgivet: (1979)

Theory of arithemetic functions
Udgivet: (1972)

Conference on group theory
Udgivet: (1973)

Higher K-theories
Udgivet: (1973)

Abelian group theory
Udgivet: (1977)

Mathematical control theory
Udgivet: (1978)

Higher K-theories
Udgivet: (1973)

Noncommutative ring theory
Udgivet: (1976)

Algebraic K-theory
Udgivet: (1976)

Number theory day
Udgivet: (1977)

Theory and applications of graphs
Udgivet: (1978)

Theory of lie superalgebras
af: Scheunert, M
Udgivet: (1979)

Topological model theory
af: Flum, Jorg
Udgivet: (1980)

Edgodic theory: Introductory lectures
af: Walters, Peter
Udgivet: (1975)

Spectral theory and differential equations
Udgivet: (1975)

Topics in stability and bifurcation theory
af: Stattinger, David H
Udgivet: (1973)

Classification theory of riemannian manifolds
af: Sario, Leo, et al
Udgivet: (1977)

Chain conjectures in ring theory
af: Ratliff, Louis J
Udgivet: (1978)

Representation theory of the symmetric groups
af: James, G D
Udgivet: (1974)

Number theory carbondale 1979
Udgivet: (1979)

Degrees of unsolvability: Structure and theory
af: Epstein, Richard L
Udgivet: (1979)

Transformation groups and representation theory
af: Dieck, Tammo Tom
Udgivet: (1979)

Topology and combinatorial group theory
Udgivet: (1990)

Advances in complex function theory
Udgivet: (1976)

Topology and combinatorial group theory
Udgivet: (1990)

K-theory and operator algebras
Udgivet: (1977)

Computational complexity of logical theories
af: Ferrante, Jeanne
Udgivet: (1979)

Ring theory waterloo 1978
Udgivet: (1979)