THEORY OF RECURSIVE FUNCTIONS AND EFFECTIVE COMPUTABILITY
HARTLY ROGERS1967 年出版482 页ISBN:
DICTIONARY OF ELECTRICAL ELECTRINICS AND COMPUTER ABBREVIATIONS
PHIL BROWN2222 年出版236 页ISBN:
INTRODUCTION TO THE THEORY OF QUANTIZED FIELDS
N.N. BOGOLIUBOV1959 年出版7220 页ISBN: