Collation

viii, 471 P

Addition

,

Title

Computer science logic

LC Class

004

LC Number

. 01

LC CutterNumber

C 738

Publication Year

1997

Publication

Springer

Subject

Computer science,Logic, symbolic and mathematical

Editor

Edited by Dirk Van Dalen,Marc Bezem

DocumentNumber

31701

ISBNN

, 1 , 2166 , 3-1

RecordNumber

9321