RecordNumber :
32144
LC Class :
QA
LC Number :
9.65
LC CutterNumber :
.B64
Author :
Boerger, Egon, 1946-
Title :

classical decision problem

Author Statement :
Egon Boerger, Erich Gradel, Yuri Gurevich
Publication :
Springer
Publication Year :
1996
Collation :
xii, 482p.: illus.; 24 cm
Series :
Perspectives in mathematical logic
Subject :
Decidability (Mathematical logic)
ADDED ENTRIES :
Gradel, Erich, 1958-
Holding Info. :
354057073
Original By :
77/05
DocumentNumber :
44162
Biblography :
Includes bibliographical references and index
BL :
BL
Link To Document :

بازگشت