Professor of Computer Science Department of Information Egon Borger

4 books • 3 series

Jan 15, 2014

Cover of Computation Theory and Logic

Computation Theory and Logic

Mar 6, 2000

Cover of Architecture Design and Validation Methods

Architecture Design and Validation Methods

Dec 31, 1996

Cover of The Classical Decision Problem

The Classical Decision Problem (Perspectives in Mathematical Logic) (Universitext)

Jan 1, 1989

Cover of Computability, Complexity, Logic

Computability, Complexity, Logic (Studies in Logic and the Foundations of Mathematics)