MATHEMATICAL INVESTIGATIONS:AN INTRODUCTION TO ALGEBRAIC THINKING
1998 年出版637 页ISBN：0321010490
A Programming Logic With An Introduction To The PL/CV Verifier
1978 年出版389 页ISBN：0876267266
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS
2007 年出版309 页ISBN：9783540759386
ASYMPTOTIC COMBINATORICS WITH APPLICATIONS TO MATHEMATICAL PHYSICS
2003 年出版246 页ISBN：9783540403128;3540403124
SELECTED SOLUTIONS FOR MATHEMATICAL APPLICATIONS FOR MANAGEMENT
LIFE1985 年出版348 页ISBN：
Applied Analysis Mathematical Methods in Natural Science
2004 年出版378 页ISBN：186094440X
Aspects of mathematical modelling : applications in science
medicine2222 年出版0 页ISBN：
Mathematical Methods on optimization in Transportation Systems
2001 年出版247 页ISBN：079236774X
Clinical diagnosis and the laboratory : logical strategies for common medical problems
Griner1986 年出版615 页ISBN：0815140045
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
