Biblioteca da Universidade do Minho

Your cart is empty.
Schöning,, Uwe,, 1955- Logic for computer scientists / Uwe Schöning

Logic for computer scientists / Uwe Schöning . - Boston : Birkhäuser, cop. 2008 . - [6], 166 p. : il. 24 cm . - (Modern Birkhaüser classics)
978-08176-4762-9 Brochado

510.6