MPG.eBooks - Search Results

Cover Image

361

Combinatoire et Representation du Groupe Symetrique : Actes de la Table Ronde du C.N.R.S., tenue a l'Universite Louis Pasteur, Strasbourg, 26 au 30 avril 1976

Published 1977

Springer Berlin Heidelberg

Cover Image

362

Hypergraph Seminar : Ohio State University, 1972

Published 1974

Springer Berlin Heidelberg

Cover Image

363

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Published 1973

Springer Berlin Heidelberg

Cover Image

364

Infinitary Logic : In Memoriam Carol Karp

Published 1975

Springer Berlin Heidelberg

Cover Image

365

The Homology of Iterated Loop Spaces

by Cohen, F. R., Lada, T. J., May, P. J.
Published 1976

Springer Berlin Heidelberg

Cover Image

366

Combinatorics : Room Squares, Sum-Free Sets, Hadamard Matrices

by Wallis, W. D., Street, A. P., Wallis, J. S.
Published 1972

Springer Berlin Heidelberg

Cover Image

367

ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Published 1975

Springer Berlin Heidelberg

Cover Image

368

ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Published 1975

Springer Berlin Heidelberg

Cover Image

369

5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980

Published 1980

Springer Berlin Heidelberg

Cover Image

370

Recursion on the Countable Functionals

by Normann, D.
Published 1980

Springer Berlin Heidelberg

Cover Image

371

Combinatorial Mathematics VII : Proceedings of the Seventh Australian Conference on Combinatorial Mathematics, Held at the University of Newcastle, Australia, August 20-24, 1979

Published 1980

Springer Berlin Heidelberg

Cover Image

372

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979

Published 1980

Springer Berlin Heidelberg

Cover Image

373

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

374

Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

375

Cabal Seminar 77 – 79 : Proceedings, Caltech-UCLA Logic Seminar 1977 – 79

Published 1981

Springer Berlin Heidelberg

Cover Image

376

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

377

Approximate Identities and Factorization in Banach Modules

by Doran, R. S., Wichmann, J.
Published 1979

Springer Berlin Heidelberg

Cover Image

378

Topological Model Theory

by Flum, Jörg, Ziegler, Martin
Published 1980

Springer Berlin Heidelberg

Cover Image

379

Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80

Published 1981

Springer Berlin Heidelberg

Cover Image

380

Logic Symposia, Hakone, 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Published 1981

Springer Berlin Heidelberg

14
15
16
17
18
19
20
21
22
23
24