Logic and computational complexity / ed. Daniel Leivant

Logic and computational complexity / ed. Daniel Leivant . - Berlin : Springer-Verlag, cop. 1995 . - VIII, 514 p. 24 cm . - (Lecture notes in computer science; 960)
3-540-60178-3 (Brochado)

519.68
510.5
510.6