Բեռնվում է…

Ω-Bibliography of mathematical logik /

Պահպանված է:
Մատենագիտական մանրամասներ
Այլ հեղինակներ: Muller, Gert H. (Խմբագիր), Lenski, Wolfgang (Համագործակցող)
Ձևաչափ: Գիրք
Լեզու: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