STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN:0444898409
COMPARISION OF AB INITIO QUANTUM CHEMISTRY WITH EXPERIMENT FOR SMALL MOLECULES THE STATE OF THE ART
1985 年出版513 页ISBN:9027721297
INTRODUCTION TO THE MECHANICS OF PLASTIC FORMING OF METALS
1979 年出版368 页ISBN:9028601260
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
STUDY GUIDE TO ACCOMPANY BARKER:THE ELEMENTS OF LOGIC FIFTH EDITION
CHRISTOPHER DREISBACH ROBERT J.CAVALIER1989 年出版226 页ISBN:0070037329
TRANSITION TO CHAOS IN CLASSICAL AND QUANTUM MECHANICS
1994 年出版193 页ISBN:9783540584162
Quantum Mechanics (Non-relativistic Theory) Third Edition
2222 年出版673 页ISBN:0080209408