MPG.eBooks - Search Results

Cover Image

381

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

382

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

Published 1981

Springer Berlin Heidelberg

Cover Image

383

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

Published 1983

Springer Berlin Heidelberg

Cover Image

384

Cabal Seminar 79-81 : Proceedings. Caltech-UCLA Logic Seminar 1979-81

Published 1983

Springer Berlin Heidelberg

Cover Image

385

Combinatorial Mathematics X : Proceedings of the Conference Held in Adelaide, Australia, August 23-27, 1982

Published 1983

Springer Berlin Heidelberg

Cover Image

386

Combinatorial Mathematics VIII : Proceedings of the Eighth Australian Conference on Combinatorial Mathematics Held at Deakin University, Geelong, Australia, August 25-29, 1980

Published 1981

Springer Berlin Heidelberg

Cover Image

387

Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

Published 1981

Springer Berlin Heidelberg

Cover Image

388

Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

Published 1981

Springer Berlin Heidelberg

Cover Image

389

Graph Theory Singapore 1983 : Proceedings of the First Southeast Asian Graph Theory Colloquium, Held in Singapore, May 10-28, 1983

Published 1984

Springer Berlin Heidelberg

Cover Image

390

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 1: Models and Sets

Published 1984

Springer Berlin Heidelberg

Cover Image

391

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory

Published 1984

Springer Berlin Heidelberg

Cover Image

392

Techniques of Admissible Recursion Theory

by Chong, C. T.
Published 1984

Springer Berlin Heidelberg

Cover Image

393

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Published 1988

Springer Berlin Heidelberg

Cover Image

394

Distributed Algorithms : 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987. Proceedings

Published 1988

Springer Berlin Heidelberg

Cover Image

395

Combinatorial Mathematics IX : Proceedings of the Ninth Australian Conference on Combinatorial Mathematics Held at the University of Queensland, Brisbane, Australia, August 24-28,...

Published 1982

Springer Berlin Heidelberg

Cover Image

396

Combinatorial Theory : Proceedings of a Conference Held at Schloss Rauischholzhausen, May 6-9, 1982

Published 1982

Springer Berlin Heidelberg

Cover Image

397

Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983

Published 1985

Springer Berlin Heidelberg

Cover Image

398

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

Published 1985

Springer Berlin Heidelberg

Cover Image

399

Nonstandard Analysis - Recent Developments

Published 1983

Springer Berlin Heidelberg

Cover Image

400

Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

15
16
17
18
19
20
21
22
23
24
25