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