Բեռնվում է…
Ω-Bibliography of mathematical logik /
Պահպանված է:
Այլ հեղինակներ: | , |
---|---|
Ձևաչափ: | Գիրք |
Լեզու: | English |
Հրապարակվել է: |
Berlin :
Springer-Verlag,
1987.
|
Շարք: | Perspectives in mathematical logic
|
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
LEADER | 01778nam a2200409 u 4500 | ||
---|---|---|---|
001 | 000611519 | ||
003 | AM-YeHGA | ||
005 | 20210831152421.0 | ||
008 | 081111s1987 gw r 000 0 eng d | ||
020 | |a 3540173218 (v. 1) | ||
020 | |a 354015521X (v. 2) | ||
020 | |a 038715521X (v. 2) | ||
020 | |a 3540155228 (v. 3) | ||
020 | |a 0387155228 (v. 3) | ||
020 | |a 3540155236 (v. 4) | ||
020 | |a 0387155236 (v. 4) | ||
020 | |a 3540155252 (v. 5) | ||
020 | |a 0387155252 (v. 5) | ||
020 | |a 3540155244 (v. 6) | ||
020 | |a 0387155244 (v. 6) | ||
040 | |a AM-YEHGA |c AM-YeHGA | ||
041 | 0 | |a eng | |
245 | 0 | 0 | |a Ω-Bibliography of mathematical logik / |c Ed. by Gert H. Muller ; In collab. with Wolfgang Lenski. |
246 | 1 | 3 | |a [Omega]-bibliography of mathematical logik |
260 | |a Berlin : |b Springer-Verlag, |c 1987. | ||
440 | 0 | |a Perspectives in mathematical logic | |
505 | 1 | |g Vol. 1 (xxvii, 485 p.) : |t Classical logic / |r Edt.: Wolfgang Rautenberg ; |g Vol. 2 (xxxvii, 469 p.) : |t Non-classical logics / |r Edt.: Wolfgang Rautenberg ; |g Vol. 3 (xxxiii, 617 p.) : |t Model Theory / |r Edt.: Heinz-Dieter Ebbinghaus ; |g Vol. 4 (xxxiii, 967 p.) : |t Recursion theory / |r Edt.: Peter Hinman ; |g Vol. 5 (1987; xxxix, 791 p.) : |t Set theory / |r Edt. Andreas R. Blaass ; |g Vol. 6 (1987; xli, 405 p.) : |t Proof theory : Constructive mathematics / |r Edt.: Jane E. Kister ... et al. | |
650 | 1 | 4 | |a Logic, symbolic and mathematical |x Bibliography |
700 | 1 | |a Muller, Gert H. |4 edt | |
700 | 1 | |a Lenski, Wolfgang |4 clb | |
999 | |c 206205 | ||
952 | |h Vol. 6 |o Gulb/ 6910 |p FL0081958 | ||
952 | |h Vol. 1 |o Gulb/6905 |p FL0081953 | ||
952 | |h Vol. 2 |o Gulb/6906 |p FL0081954 | ||
952 | |h Vol. 3 |o Gulb/6907 |p FL0081955 | ||
952 | |h Vol. 4 |o Gulb/6908 |p FL0081956 | ||
952 | |h Vol. 5 |o Gulb/6909 |p FL0081957 |