| 47976 |
3720 |
图书 |
DEGREES OF UNSOLVABILITY |
SACKS G E |
THE UNIVERSITY PR. 1963 |
51.3/S 121 |
0/0 |
| 47977 |
3721 |
图书 |
MATHEMATICAL INTERPRETATION OF FORMAL SYSTEMS |
SKOLEM T |
NORTH-HOLLAND PUB. CO. 1955 |
51.3/S 628 |
0/0 |
| 47978 |
3722 |
图书 |
LOGIC, SEMANTICS, METAMATHEMATICS |
TARSKI A |
OXFORD UNIV. PR. 1956 |
51.3/T 193 |
0/0 |
| 47979 |
3723 |
图书 |
THE NUMBER-SYSTEM |
THURSTON H A |
BLACKLE & SON LTD. 1956 |
51.3/T 545 |
0/0 |
| 47980 |
3724 |
图书 |
GUIDE TO THE LITERATURE OF MATHEMATICS AND PHYSICS |
PARKE III N G |
DOVER PUB.INC. 1958 |
51.3073/P 237 |
0/0 |
| 47981 |
3725 |
图书 |
MATHEMATISCHE LEHRBUCHER UND MONOGRAPHIEN.BAND 1:UBER DIE KLASSENZAHL ABELSCHER ZAHLKORPER |
HASSE H |
AKADEMIE VERLAG 1955 |
51.3081/M 426 |
0/0 |
| 47982 |
3726 |
图书 |
MATHEMATISCHE LEHRBUCHER UND MONOGRAPHIEN.BAND 2: VORLESUNGEN UBER APPROXIMATIONSTHEORIE |
ACHIESER N I |
AKADEMIE VERLAG 1955 |
51.3081/M 426 |
0/0 |
| 47983 |
3727 |
图书 |
MATHEMATISCHE LEHRBUCHER UND MONOGRAPHIEN.BAND 3: GRUPPENTHEORIE |
KUROSCH A G |
AKADEMIE VERLAG 1955 |
51.3081/M 426 |
0/0 |
| 47984 |
3728 |
图书 |
MATHEMATISCHE LEHRBUCHER UND MONOGRAPHIEN |
ACHIESER N I |
|
51.3081/M 426 |
0/0 |
| 47985 |
3729 |
图书 |
ANCIENT FORMAL LOGIC |
BOCHENSKI I M |
NORTH-HOLLAND PUB.CO. 1951 |
51.31/B 664 |
0/0 |
| 47986 |
3730 |
图书 |
INTRODUCTION TO MATHEMATICAL LOGIC |
CHUYCH A |
REPRINTED IN CHINA 1956 |
51.31/C 561 |
0/0 |
| 47987 |
3731 |
图书 |
COMBINATORY LOGIC |
CURRY H B |
NORTH-HOLLAND PUBLISHING COMPANY AMSTERDAM 1958 |
51.31/C 976 |
0/0 |
| 47988 |
3732 |
图书 |
COMMUNICATION: A LOGICAL MODEL |
HARRAH D |
MASS. M.I.T. PR. 1963 |
51.31/H 296 |
0/0 |
| 47989 |
3733 |
图书 |
THE AXIOMATIC METHOD WITH SPECIAL REFERENCE TO GEOMETRY AND PHYSICS |
HENKIN L P |
NORTH-HOLLAND 1959 |
51.31/H 513 |
0/0 |
| 47990 |
3734 |
图书 |
CONSTRUCTIVITY IN MATHEMATICS |
HEYTING A |
NORTH-HOLLAND 1959 |
51.31/H 621 |
0/0 |
| 47991 |
3735 |
图书 |
PRINCIPLES OF MATHEMATICAL LOGIC |
HILBERT D |
1950 |
51.31/H 641 |
0/0 |
| 47992 |
3736 |
图书 |
INTRODUCTION TO METAMATHEMATICS |
KLEENE S C |
NORTH-HOLLAND PUBLISHING CO. 1952 |
51.31/K 63 |
0/0 |
| 47993 |
3737 |
图书 |
MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICS |
KNEEBONE G T |
VAN NOSTRAND 1963 |
51.31/K 68 |
0/0 |
| 47994 |
3738 |
图书 |
THE LOGICAL SYSTEMS OF LESNIEWSKI |
LUSCHEI E C |
N-HOLLAND 1962 |
51.31/L 968 |
0/0 |
| 47995 |
3739 |
图书 |
ARISTOTLE‘S MODAL SYLLOGISMS |
MCCALL S |
NORTH-HOLLAND PUB.CO. 1963 |
51.31/M 122 |
0/0 |
| 47996 |
3740 |
图书 |
THEORY OF CATEGORIES |
MITCHELL B |
ACADEMIC PR. 1965 |
51.31/M 681 |
0/0 |
| 47997 |
3741 |
图书 |
INTRODUCTION TO MODEL THEORY AND TO THE METAMATHEMATICS OF ALGEBRA |
ROBINSON A |
NORTH-HOLLAND PUB.CO. 1963 |
51.31/R 658 |
0/0 |
| 47998 |
3742 |
图书 |
THE ELEMENTS OF MATHEMATICAL LOGIC |
ROSENBLOOM P C |
1950 |
51.31/R 813 |
0/0 |
| 47999 |
3743 |
图书 |
LOGIC FOR MATHEMATICIANS |
ROSSER J B |
MCGRAW-HILL BOOK COMPANY INC. 1953 |
51.31/R 828 |
0/0 |
| 48000 |
3744 |
图书 |
EQUIVALENTS OF THE AXIOM OF CHOICE |
RUBIN H |
NORTH-HOLLAND PUB. CO. 1963 |
51.31/R 896 |
0/0 |
