01149nam--2200385---450-99000032945020331620090421131125.00-7923-5627-60032945USA010032945(ALEPH)000032945USA01003294520010125d1999----km-y0itay0103----baengUS||||||||001yyHandbook of tableau methodsedited by Marcello D'Agostino ... <et al.>DordrechtKluwer Academic Publishersc1999VIII, 670 p.ill.20 cmLogica simbolicaLogica matematica511.3D'AGOSTINO,MarcelloITsalbcISBD990000329450203316511.3 HAN25424/CBS511.30010040000100400BKSCITAMI4020010125USA011324PATTY9020010201USA01121120020403USA011641PATRY9020040406USA011623RSIAV69020090421USA011311Handbook of tableau methods879769UNISA