MPG.eBooks - Search Results

Cover Image

1

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

Published 1984

Springer Berlin Heidelberg

Cover Image

2

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

3

Techniques of Admissible Recursion Theory

by Chong, C. T.
Published 1984

Springer Berlin Heidelberg

Cover Image

4

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

Published 1988

Springer Berlin Heidelberg

Cover Image

5

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

Published 1988

Springer Berlin Heidelberg

Cover Image

6

Characters and Cyclotomic Fields in Finite Geometry

by Schmidt, Bernhard
Published 2002

Springer Berlin Heidelberg

Cover Image

7

Cabal Seminar 81-85 : Proceedings. Caltech-UCLA Logic Seminar 1981-85

Published 1988

Springer Berlin Heidelberg

Cover Image

8

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987

Published 1989

Springer Berlin Heidelberg

Cover Image

9

Proof Theory : An Introduction

by Pohlers, Wolfram
Published 1989

Springer Berlin Heidelberg

Cover Image

10

Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

by Büchi, J.R., Siefkes, D.
Published 1973

Springer Berlin Heidelberg

Cover Image

11

Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...

Published 1992

Springer Berlin Heidelberg

Cover Image

12

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

by Homer, Steven, Nerode, Anil, Platek, Richard A., Sacks, Gerald E.
Published 1990

Springer Berlin Heidelberg

Cover Image

13

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

Published 1990

Springer Berlin Heidelberg

Cover Image

14

Combinatoire enumerative : Proceedings of the "Colloque de Combinatoire Enumerative", Held at Universite du Quebec a Montreal, May 28 - June 1, 1985

Published 1986

Springer Berlin Heidelberg

Cover Image

15

Topics in Set Theory : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions

by Bekkali, Mohamed
Published 1991

Springer Berlin Heidelberg

Cover Image

16

Injective Choice Functions

by Holz, Michael, Podewski, Klaus-Peter, Steffens, Karsten
Published 1987

Springer Berlin Heidelberg

Cover Image

17

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Cover Image

18

Classification Theory : Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985

Published 1987

Springer Berlin Heidelberg

Cover Image

19

New Directions in Rough Sets, Data Mining, and Granular-Soft Computing : 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Cover Image

20

Dynkin Graphs and Quadrilateral Singularities

by Urabe, Tohsuke
Published 1993

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11