MPG.eBooks - Search Results

Cover Image

281

Infinitary Logic : In Memoriam Carol Karp

Published 1975

Springer Berlin Heidelberg

Cover Image

282

The Homology of Iterated Loop Spaces

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

Springer Berlin Heidelberg

Cover Image

283

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

284

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

285

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

Published 1975

Springer Berlin Heidelberg

Cover Image

286

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

Published 1980

Springer Berlin Heidelberg

Cover Image

287

Recursion on the Countable Functionals

by Normann, D.
Published 1980

Springer Berlin Heidelberg

Cover Image

288

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

289

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

290

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

Published 1991

Springer Berlin Heidelberg

Cover Image

291

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

Published 1991

Springer Berlin Heidelberg

Cover Image

292

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

Published 1981

Springer Berlin Heidelberg

Cover Image

293

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

294

Approximate Identities and Factorization in Banach Modules

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

Springer Berlin Heidelberg

Cover Image

295

Topological Model Theory

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

Springer Berlin Heidelberg

Cover Image

296

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

297

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

Cover Image

298

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

by Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.
Published 1981

Springer Berlin Heidelberg

Cover Image

299

Logic Year 1979-80 : The University of Connecticut, USA

Published 1981

Springer Berlin Heidelberg

Cover Image

300

Graph Theory : Proceedings of a Conference held in Lagow, Poland, February 10-13, 1981

Published 1983

Springer Berlin Heidelberg

10
11
12
13
14
15
16
17
18
19
20