Introduction to the theory of computation od Sipser, Michael

From local interactions to global phenomena

From local interactions to global phenomena

Bounded arithmetic, propositional logic, and complexity theory od Krajihcek, Jan

The architecture of the jumping universe a polemic od Jencks, Charles

Logic and computational complexity international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

Structural complexity I od Balcazar, Jose Luis

Efficient checking of polynomials and proofs and the hardness of approximation problems od Sudan, Madhu

Computational theories of interaction and agency

Click here to access thru EZproxy
Click here to access

Circuit complexity and neural networks od Parberry, Ian