عنوان
پدید آورنده
موضوع
رده
Z 6654 .M26047
Z
6654
.
M26047
کتابخانه
محل استقرار
]Omega[-bibliography of mathematical logic
Berlin
Springer-Verlag
1987
v
1
2
3
4
5
6
1
2
3
4
5
6
Perspectives in mathematical logic
ISBN: 3540173218)vol.1(
edited by Gert H. Muller; in coll. with Wolfgan Lenski
R
1
1
1
1
1
1
2
2
2
2
2
2
Vol.1. Classical logic.--Vol.2. Non-classical logics.--Vol.3. Model theory.--Vol.4. Recursion theory.--Vol.5. Set theory.--Vol.6. Proof theory constructive mathematics
Bibliography ، Logic, Symbolic and mathematical
Z
6654
.
M26047
TI
AU Muller, Gert Heinz, 1923-
AU Lenski, Wolfgang, 1952-
TI
TI Bibliography of mathematical logic
SE
