Home Advanced Search

Advanced Search - Page 1

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984
  • PDF
  • English
  • Year: 1985
  • Author: Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)
Recursion Theory Week. Proceedings conference Oberwolfach, 1984
  • DJVU
  • English
  • Year: 1985
  • Author: Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks
Ω-Bibliography of Mathematical Logic. Volume 3: Model Theory
  • PDF
  • English
  • Year: 1987
  • Author: Gert H. Müller, Heinz-Dieter Ebbinghaus (eds.)
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)
The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Klaus Ambos-Spies, Ulrike Brandt (auth.), Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)
Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
  • PDF
  • English
  • Year: 1984
  • Author: Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)
Einführung in die mathematische Logik
  • PDF
  • German
  • Year: 2018
  • Author: Heinz-Dieter Ebbinghaus
Einführung in die Mengenlehre
  • PDF
  • Year: 2003
  • Author: Heinz-Dieter Ebbinghaus
search