E. Börger (E. Borger / Börger, E. / Borger, E.)

English

• 
  Architecture Design and Validation Methods
  by E. Borger
  Hardcover, Springer Verlag, ISBN 354064976X (3-540-64976-X)
• 
  via
  The Classical Decision Problem
  by Egon Borger, Yuri Gurevich, Erich Gradel
  Softcover, Springer Verlag, ISBN 3540423249 (3-540-42324-9)
• 
  via
  Computability, Complexity, Logic
  by E. Börger
  Hardcover, Elsevier, ISBN 0444874062 (0-444-87406-2)
• 
  Computation Theory and Logic
  by E. Borger
  Softcover, Springer Verlag, ISBN 0387181709 (0-387-18170-9)

  More editions of Computation Theory and Logic:

  • Computation Theory and Logic: Softcover, Springer, ISBN 3540181709 (3-540-18170-9)
• 
  Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 Selected Papers
  by E. Borger, G. Jager, H. Kleine Buning, M.M. Richter
  Softcover, Springer Verlag, ISBN 038755789X (0-387-55789-X)

  More editions of Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 Selected Papers:

  • Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 Selected Papers: Softcover, Springer Verlag, ISBN 0387569928 (0-387-56992-8)
  • Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 Proceedings: Hardcover, Springer-Verlag, ISBN 3540544879 (3-540-54487-9)
  • Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 Selected Papers: Hardcover, Springer-Verlag, ISBN 3540569928 (3-540-56992-8)
• 
  Csl 87: 1st Workshop on Computer Science Logic
  by E. Borger, Kleine H. Buning
  Softcover, Springer Verlag, ISBN 0387502416 (0-387-50241-6)

  More editions of Csl 87: 1st Workshop on Computer Science Logic:

  • Csl '87 : 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings: Softcover, Springer, ISBN 3540502416 (3-540-50241-6)
• 
  Csl'88 : 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings
  by E. Borger, H. Kleine Buning, M.M. Richter
  Softcover, Springer Verlag, ISBN 038751659X (0-387-51659-X)

  More editions of Csl'88 : 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings:

  • Csl'88 : 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings: Softcover, Springer, ISBN 354051659X (3-540-51659-X)
• 
  Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.
  by E. Borger, H. Kleine Buning, M.M. Richter
  Softcover, Springer Verlag, ISBN 0387527532 (0-387-52753-2)

  More editions of Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.:

  • CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 Proceedings: Hardcover, Springer-Verlag, ISBN 3540527532 (3-540-52753-2)
• 
  Logic and Machines: Decision Problems and Complexity
  by E. Borger, G. Hasenjaeger, D. Rodding, Symposium "Rekursive Kombinatorik (1983 Institut Fur Mathematische Lo
  Softcover, Springer Verlag, ISBN 0387133313 (0-387-13331-3)

  More editions of Logic and Machines: Decision Problems and Complexity:

  • Logic and Machines: Decision Problems and Complexity: Softcover, Springer London, Limited, ISBN 3540133313 (3-540-13331-3)
• 
  Specification and Validation Methods
  by E. Borger
  Hardcover, Oxford Univ Pr, ISBN 0198538545 (0-19-853854-5)

German

• 
  Zur Philosophie Der Mathematischen Erkenntnis
  by E. Borger
  Softcover, Konigshausen + Neumann, ISBN 3884790226 (3-88479-022-6)