Carregant...

Codi QR

ISILC proof theory symposium

Dades bibliogràfiques
Altres autors:	Diller, J (Editor)
Format:	Printed Book
Publicat:	Springer-Verlag, Berlin 1975
Col·lecció:	Lecture Notes in Mathematics, No.0500
Matèries:	Lecture Notes in Mathematics

Ítems similars

Symposium on algebraic topology
Publicat: (1971)

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

Symposium on ordinary differential equations
Publicat: (1973)

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

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

Oscillation theory
per: Kreith, Kurt
Publicat: (1973)

Potential theory
per: Wermer, John
Publicat: (1974)

Category theory
per: Carboni, A, et al
Publicat: (1991)

Obstruction theory
per: Baues, Hans J
Publicat: (1977)

Knot theory
Publicat: (1978)

Theorie ergodique
Publicat: (1976)

Shape theory
per: Dydak, Jerzy
Publicat: (1978)

Ergodic theory
Publicat: (1979)

Theory of arithemetic functions
Publicat: (1972)

Conference on group theory
Publicat: (1973)

Higher K-theories
Publicat: (1973)

Abelian group theory
Publicat: (1977)

Mathematical control theory
Publicat: (1978)

Higher K-theories
Publicat: (1973)

Noncommutative ring theory
Publicat: (1976)

Algebraic K-theory
Publicat: (1976)

Number theory day
Publicat: (1977)

Theory and applications of graphs
Publicat: (1978)

Theory of lie superalgebras
per: Scheunert, M
Publicat: (1979)

Topological model theory
per: Flum, Jorg
Publicat: (1980)

Edgodic theory: Introductory lectures
per: Walters, Peter
Publicat: (1975)

Spectral theory and differential equations
Publicat: (1975)

Topics in stability and bifurcation theory
per: Stattinger, David H
Publicat: (1973)

Classification theory of riemannian manifolds
per: Sario, Leo, et al
Publicat: (1977)

Chain conjectures in ring theory
per: Ratliff, Louis J
Publicat: (1978)

Representation theory of the symmetric groups
per: James, G D
Publicat: (1974)

Number theory carbondale 1979
Publicat: (1979)

Degrees of unsolvability: Structure and theory
per: Epstein, Richard L
Publicat: (1979)

Transformation groups and representation theory
per: Dieck, Tammo Tom
Publicat: (1979)

Topology and combinatorial group theory
Publicat: (1990)

Advances in complex function theory
Publicat: (1976)

Topology and combinatorial group theory
Publicat: (1990)

K-theory and operator algebras
Publicat: (1977)

Computational complexity of logical theories
per: Ferrante, Jeanne
Publicat: (1979)

Ring theory waterloo 1978
Publicat: (1979)