MORDECHAI BEN ARI

MATHEMATICAL LOGIC FOR COMPUTER SCIENCE - PRENTICE-HALL 1993 - 305 - PRENTICE-HALL INTERNATIONAL SERIES IN COMPUTER SCIENCE .

013564139X


MATHEMATICS LOGICS

511.3 / MOR