Բեռնվում է…

Ω-Bibliography of mathematical logik /

Պահպանված է:

Մատենագիտական մանրամասներ
Այլ հեղինակներ:	Muller, Gert H. (Խմբագիր), Lenski, Wolfgang (Համագործակցող)
Ձևաչափ:	Գիրք
Լեզու:	English
Հրապարակվել է:	Berlin : Springer-Verlag, 1987.
Շարք:	Perspectives in mathematical logic
Խորագրեր:	Logic, symbolic and mathematical > Bibliography
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Բովանդակություն:

Vol. 1 (xxvii, 485 p.) : Classical logic / Edt.: Wolfgang Rautenberg ; Vol. 2 (xxxvii, 469 p.) : Non-classical logics / Edt.: Wolfgang Rautenberg ; Vol. 3 (xxxiii, 617 p.) : Model Theory / Edt.: Heinz-Dieter Ebbinghaus ; Vol. 4 (xxxiii, 967 p.) : Recursion theory / Edt.: Peter Hinman ; Vol. 5 (1987; xxxix, 791 p.) : Set theory / Edt. Andreas R. Blaass ; Vol. 6 (1987; xli, 405 p.) : Proof theory : Constructive mathematics / Edt.: Jane E. Kister ... et al.

Նմանատիպ նյութեր