STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN：9783540727323
FOUNDATIONS OF DISCRETE MATHEMATICS SECOND EDITION
ALBERT D.POLIMENI H.JOSEPH STRAIGHT1990 年出版519 页ISBN：053412402X
FOUNDATIONS OF TECHNICAL MATHEMATICS CANADIAN EDITION
PAUL CALTER CAROL FELSINGER ROGERS JOHN GIGUERE2000 年出版758 页ISBN：0139992103
THE LOGICAL DESIGN OF OPERATING SYSTEMS
ALAN C.SHAW2222 年出版306 页ISBN：0135401127
THE LOGICAL STRUCTURE OF MATHEMATICAL PHYSICS SECOND EDITION
JOSEPH D.SNEED1971 年出版320 页ISBN：9027710562
