4 found
Order:
  1.  1
    Computational Complexity Theory, Edited by Hartmanis Juris, Proceedings of Symposia in Applied Mathematics, Vol. 38, American Mathematical Society, Providence 1989, Ix+ 128 Pp. [REVIEW]Uwe Schöning - 1991 - Journal of Symbolic Logic 56 (1):335-336.
  2. Complexity Theory and Interaction.Steven Lindell & Uwe Schoning - 1991 - Journal of Symbolic Logic 56 (3):1091.
  3.  27
    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  
     
    My bibliography  
  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  
     
    My bibliography