4 found
Order:
  1.  6
    Computational Complexity Theory, Edited by Juris Hartmanis, Proceedings of Symposia in Applied Mathematics, Vol. 38, American Mathematical Society, Providence1989, Ix + 128 Pp. [REVIEW]Uwe Schöning - 1991 - Journal of Symbolic Logic 56 (1):335-336.
  2.  5
    Complexity Theory and Interaction.Steven Lindell & Uwe Schoning - 1991 - Journal of Symbolic Logic 56 (3):1091.
  3.  4
    Review: Juris Hartmanis, Computational Complexity Theory. [REVIEW]Uwe Schoning - 1991 - Journal of Symbolic Logic 56 (1):335-336.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  29
    Logic for Computer Scientists.Uwe Schöning - 1989 - Birkhäuser.
    This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations ...
    Direct download  
     
    Export citation  
     
    Bookmark