عنوان
پدید آورنده
موضوع
رده
016.5113 R
016
.
5113
R
کتابخانه
محل استقرار
IR
8792
انگلیسی
IR
Bibliography of mathematical logic
[Book]
/ Gert H.Muller
Berlin
: Springer
, 1987.
6 Vol.
Language: انگلیسی
Print
Title Vol.1:Classical logic Vol.2:Non-Classical logic Vol.3:Model theoryVol.4:Recursion theory Vol.5:Set Theory Vol.6:Proof theory constructive Mathematics
Logic,Symbolic and mathematical-Bibliography
016
.
5113
R
Muller,Great H، .Editor
ایران
دانشگاه اراک
016.5113
old catalog
p
BL
1
a
Y
