OPAC

Lenski, Wolfgang, 1952-

著者の属性	個人
一般注記	Omega-bibliography of mathematical logic, c1987- : v. 1, CIP t.p. (Wolfgang Lenski) info. from pub. (Mathematisches Institut, Universität Heidelberg; b. 8/13/52)
Dates of Birth and Death	1952
から見よ参照	Lenski, W.
コード類	典拠ID=AU20066626 NCID=DA01327050


1	Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
2	Set theory / Andreas R. Blass (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
3	Recursion theory / Peter G. Hinman (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
4	Model theory / Heinz-Dieter Ebbinghaus (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
5	Non-classical logics / Wolfgang Rautenberg (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987
6	Classical logic / Wolfgang Rautenberg (editor) : Germany,: U.S.. - Berlin ; Tokyo : Springer-Verlag , c1987