Author Statement

Mordechai Ben-Ari

Edition

2nd ed

Collation

xiv, 304 P.:Illus

Addition

,

Title

Mathematical logic for computer science

LC Class

511

LC Number

.3

LC CutterNumber

B 456 M,Ed.2

Publication Year

2001

Publication

Springer

Subject

Logic, Symbolic and mathematical

DocumentNumber

31980

ISBNN

, 1 , 31o7 , 3-1

RecordNumber

9554